Research Interests
I am interested in research in the following areas:
- Deductive verification and model checking for high-performance computing applications
- Analysis of programs written in languages like Java and C
- Modeling and analysis of concurrent systems
Professional Background
| 2018 - 2024 | Ph.D. in Computer Science, Technical University of Darmstadt (TUDa), Germany |
| 2013 - 2016 | M.Sc. in Software Engineering, Amirkabir University of Technology (AUT), Tehran, Iran |
| 2009 - 2013 | B.Sc. in Software Engineering, Amirkabir University of Technology (AUT), Tehran, Iran |