(back to home)

I have a Masters' degree in Software Engineering from School of Electrical and Computer Engineering, University of Tehran. My main research area is Formal Methods. My thesis is titled "Modeling and Verification of Real-Time Systems using the Actor Model.

I am a member of the Formal Methods Laboratory in UT. Other areas of interest include, theoretical computer science, software analysis and design, software architecture, and natural language processing.

Here is my CV:

Educational History

Research Experience

Teaching Experience

Other Academic Activities