Ranjit Jhala Photo of Ranjit Jhala

I am a Professor of Computer Science Engineering in the Jacobs School of Engineering at the University of California, San Diego



I am interested in Programming Languages and Software Engineering, specifically, in techniques for building reliable computer systems. My work draws from, combines and contributes to the areas of Type Systems, Model Checking, Program Analysis and Automated Deduction, with my fantastic students in the Programming Systems Group. Current projects include:

See my papers for more.


CAV 2019 Tutorial:

Some general nuggets:

Currently I am teaching: