Welcome to Vida Vakilotojar's Home Page

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
Resume
SPHINX, A CAD tool for Hierarchical Verification of Asynchronous Circuits
More Professional
More Personal

USCweb
USCweb | Professional Page | Personal Page
Page last updated: Dec. 17, 1999