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.
Tue 19 Jan Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00
|Academia or Industry?|
Aarti GuptaPrinceton UniversityMedia Attached
|Refining Types with SMT|
Ranjit JhalaUniversity of California, San DiegoMedia Attached
|How to Write Papers So People Can Read Them|
Derek DreyerMPI-SWSMedia Attached