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

I have recently joined the CS department at Princeton. Before this, I was at NEC Labs America where I led research in systems analysis and verification. At NEC, my group and I designed techniques for verifying programs, and helped in their successful deployment on large industrial software projects.

My research interests are in formal verification of systems, program analysis, and automatic decision procedures for logics. I am currently serving on the Steering Committee of the International Conference on Computer Aided Verification (CAV). I received a PhD in Computer Science from Carnegie Mellon University.

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