I am a Ph.D. student at EE-Systems Department of University of Southern California studying Computer Engineering (CAD/VLSI) with special interest in Formal Verification of Asynchronous Systems. I am a member of USC Asynchronous CAD Group under the supervision of Dr. Peter A. Beerel.I got my M.S. in Computer Engineering (AI/Robotics) from Tehran Polytechnic University in 1995, and my B.S. in Electrical Engineering from Sharif University of Technology in 1990.
Publications
