Computer Science Department
University of Toronto.
Office:
BA 3252
Upcoming
Events:
CAV 2010:
Program Committee
(EC)^2
2010:
Organizer
CSL
2010:
Program Committee
POPL
2011:
Program Committee
Past Events:
INFINITY
2009:
Organizer
FMICS
2009:
Program Committee
ICE
2008:
Program Committee
Previously:
I was a post doc at
School of Computer Science
at
Carnegie Mellon University with Professor
Edmund M. Clarke.
I got my PhD at
Computer Science Department
of University of Illinois at Urbana-Champaign. My adviser
was Professor
José Meseguer.