Name: Jiri Simsa

Place: Carnegie Mellon University
Status: PhD Student
Area: Formal Methods
Advisors: Randy Bryant and Garth Gibson

• Office: Gates-Hillman Center 6221
• Email: jsimsa at cs.cmu.edu
• Resume
• dbug

My Trips - Your travel plans on one page.