|
RESEARCH
I am interested in analysis and verification of software and in particular
embedded systems. I am currently a PhD student in the
research group LARA (Lab
for Automated Reasoning and Analysis) at the IC School of EPFL under the supervision of Viktor
Kuncak.
LARA
Research Group Page
PUBLICATION
LIST Page (also with abstracts,
or partial lists from DBLP)
PROJECT:
Proglab.net SOFTWARE
I am the main developer of Eldarica, a predictate abstraction engine.
BIOGRAPHY
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 Tehran University.
Here is my Curriculum
Vitae.
|
Doctoral Assistant
