Department of Computer
Office: 442 Gates Hall
Email: MY_LAST_NAME [at] cs.cornell.edu
Research:I am interested in analysis and verification of software and hardware systems.
I am currently a postdoc fellow working with Professor Nate Foster.
Publications:Publication List Page (also with abstracts, or partial list from DBLP)
- Eldarica predicate abstraction Engine
received my Master's degree in software engineering from Tehran
University in 2007 while working with Professor Marjan Sirjani
(Reykjavík University) and Professor Mohammad Reza Mousavi (TU/e
I received my Bachelor's degree in Software Engineering from Tehran University.
Here is my Curriculum Vitae.