About

I received my Ph.D. in Computer Science from the University of Virginia in 2013, where I studied under the mentorship of Kevin Sullivan. Since my graduation, I have been working as a postdoctoral researcher with Sam Malek of University of California, Irvine. I have also visited CSAIL MIT as a postdoctoral research fellow working with Daniel Jackson.
I am broadly interested in software engineering, and particularly in advancing software reliability by developing new methods and tools relying on concepts from fields like lightweight formal methods, software synthesis, software testing, model-driven development, and software architecture. 


Publications

Journal Articles

Conference Papers

Technical Reports


Teaching Experience

Guest Lecturer, Introduction to Computing: Explorations in Language, Logic, and Machines, University of Virginia, 2013.
Guest Lecturer, Introduction to Computing: Explorations in Language, Logic, and Machines, University of Virginia, 2012.
Guest Lecturer, Special Topics in Computer Science, Computational Photography, University of Virginia, 2010.
Teaching Assistant, Software Engineering, Sharif University of Technology, 2007.
Teaching Assistant, Software Engineering, Sharif University of Technology, 2006.
Teaching Assistant, Internet Engineering, University of Tehran, 2004.
Instructor, Computer Course, Rouzbeh High School, Tehran, Iran, 2004.


Services

                  IEEE Transactions on Software Engineering (IEEE TSE),
                  ACM Transactions on Software Engineering and Methodology (ACM TOSEM),
                  IEEE Software,
                  International Journal on Software Tools for Technology Transfer (STTT),
                  International Journal on Software Engineering and Knowledge Engineering,
                  The European Conference on Software Architecture (ECSA 2016),
                  International Conference on Fundamental Approaches to Software Engineering (FASE 2015),
                  The European Conference on Software Architecture (ECSA 2015),
                  Working IEEE/IFIP Conference on Software Architecture (WICSA 2014),
                  International Conference on Software Engineering (ICSE 2010)

                  International Conference on Software Engineering and Knowledge Engineering, 2012– 2016
 


My academic genealogy