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