My mug

Ranjit Jhala Follow
  RanjitJhala on Twitter

Professor
Computer Science and Engineering
Jacobs School of Engineering
University of California, San Diego

Office: CSE 3110
Phone: (858) 534 1420
Email: jhala@cs.ucsd.edu


Research

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.

Students

Teaching

CSE Talks