ESOP 2015
Tue 14 - Thu 16 April 2015 London, United Kingdom
Ranjit Jhala

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

ESOP 2015Author of Type Targeted Testing within the ESOP-track
Show activities from other conferences

ESOP 2015-profile
View general profile