Name: Jiri Simsa
Place: Carnegie Mellon University
Status: PhD student
Area: Formal methods
Advisors: Randy Bryant and Garth Gibson
Office: Wean Hall 7205
Phone: 412-268-7669
Email: jsimsa at cs.cmu.edu
Curriculum vitae
Readings
