Name: Jiri Simsa 

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