I just finished my PhD at
Computer Science Department
of
University of Illinois at Urbana-Champaign.
My adviser is Professor
José Meseguer.
I also work with Professor
Madhusudan
Parthasarathy.
These days, I am moving to
School of Computer Science
at Carnegie Mellon University to start a post doctoral
fellowship with Professor
Edmund M. Clarke.