Registered user since Tue 20 Dec 2016
I am an Associate Professor in the Department of Computer Science, Jacobs School of Engineering, at the University of California, San Diego, CA, USA.
Research Interests: I am interested in Programming Languages and Software Engineering, more specifically, in techniques for building reliable computer systems. My work draws from, combines and contributes to the areas of Model Checking, Program Analysis and Automated Deduction.
|POPL 2016||Printing Floating-Point Numbers: A Faster, Always Correct Method|
|PLMW||Refining Types with SMT|
|VMCAI||Predicate Abstraction for Linked Data Structures|
|Show activities from other conferences|
View general profile