
Registered user since Tue 20 Dec 2016
Name:Ranjit Jhala
Bio:
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.
Affiliation:University of California, San Diego
Personal website:http://goto.ucsd.edu/~rjhala/
Contributions
POPL 2017 | Committee Member in Program Committee within the POPL-track POPL 2018 presentation | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2017-profile
View general profile
View general profile