I joined Simula Research Laboratory as a PhD student in June 2009. I am a member of the APPROVE group and I am currently involved in the ModelMe! project. I have a master's degree in Artificial Intelligence and a bachelor's degree in Software Engineering both from University of Tehran.
My main research interests include:
- Safety analysis and testing
- Formal verification
- Machine Learning
- Evolutionary Computation
