I am interested in analysis and verification of software and in particular
embedded systems. I am currently a postdoc in the Rigorous System Design Laboratory (RiSD) under the supervision of Professor Joseph Sifakis.
LIST Page (also with abstracts,
or partial lists from DBLP)
I am the main developer of Eldarica, a predicate abstraction engine.
In August 2013 I finished my PhD thesis under the supervision of Professor Viktor
I have received a Master degree of software engineering from Tehran
University in 2007 working with Marjan Sirjani
(Reykjavík University) and Mohammad Reza
Mousavi (TU/e Eindhoven). My dissertation
(in Persian) was about the verification of object-based system using a
process algebraic approach.
I have received a B.Sc. degree in Software
Engineering in Tehran University.
Here is my Curriculum