I am an Assistant Professor in the Department of Computer Science at the University of Texas, Austin, TX, USA.

Research Interests: Program Verification, Automatic Constraint Solving