My mug

Ranjit Jhala Follow
  RanjitJhala on Twitter

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

Office: EBU3B 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