Name: Jiri Simsa 

 Place: Carnegie Mellon University
 Status: PhD student
 Area: Formal methods
 Advisors: Randy Bryant and Garth Gibson