Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
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 at San Diego, USA

Personal website: http://goto.ucsd.edu/~rjhala/

Contributions

Haskell 2016Committee Member in Program Committee within the Haskell-track
ICFP 2016Author of Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong) within the Research Papers-track
Show activities from other conferences

ICFP 2016-profile
View general profile