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.
Research experience:
- Model-based software engineering
- Model checking concurrent reactive systems
- Machine learning
- Product-line engineering
My main research interests include:
- Safety analysis and testing
- Formal verification
- Machine Learning
- Evolutionary Computation
