Education

Ph.D. in Computer Sciences (2002) at the University of Texas at Austin with Vladimir Lifschitz.

Academic Genealogy

(One's thesis adviser is one's academic parent.)