Write a Blog >>
Tue 19 Jan 2016 11:00 - 11:30 at Room St Petersburg III - Session II

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

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
10:30
30m
Talk
Academia or Industry?
PLMW
Aarti Gupta Princeton University
Media Attached
11:00
30m
Talk
Refining Types with SMT
PLMW
Ranjit Jhala University of California, San Diego
Media Attached
11:30
30m
Talk
How to Write Papers So People Can Read Them
PLMW
Derek Dreyer MPI-SWS
Media Attached