Education

Institute: PhD Student in Computer Science (2009-now)
Institute: University of Virginia
Supervisor: Kevin Sullivan
Thesis: Synthesis from Formal Partial Abstractions

Institute: M.Sc. in Software Engineering (2005-2008)
Institute: Sharif University of Technology
Supervisor: Seyed-Hasan Mirian-Hosseinabadi
Thesis: Injecting non-functional requirements into the software architecture

Institute: B.Sc. in Computer Engineering (2001-2005)
Institute: University of Tehran
Supervisor: Marjan Sirjani
Thesis: Design and implementation of human resource management system in ERP

 

Research Interests

Software Synthesis
Model Driven Engineering
Software Architecture
Applied Formal Methods
Databases
Software Development Methodologies
Non-Functional Requirements

 

Teaching Experience

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.

 

Honors & Awards

2012. Distinguished Paper award at the 24th International Conference on Software Engineering and Knowledge Engineering.
2011. Selected as one of the finalists for ACM Graduate Student Research Competition held at the International Conference on Software Engineering (ICSE)
2008. Ranked top 3 among software engineering graduate students.
2005. Ranked 30th in the Iranian Nationwide Computer Engineering M.Sc. Entrance Exam among more than 8,000 participants.
2003. Our team, Kimia, was qualified for RoboCup 2003 competition as one of the four best Iranian teams.


Professional Membership
ACM (Association for Computing Machinery), 2001-Now