Computer Science Department
University of Toronto.
Office: BA 3252
Upcoming Events:
CAV 2013: Program Committee
(EC)^2 2013: Steering Committee
Past Events:
VMCAI 2013: Program Committee
PLDI 2012: External Review Committee
(EC)^2 2012: Organizer
POPL 2011: Program Committee
VMCAI 2011: Program Committee
CAV 2011: Program Committee
SPIN 2011: Program Committee
(EC)^2 2011: Organizer
CAV 2010: Program Committee
(EC)^2 2010: Organizer
CSL 2010: Program Committee
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.