Contact

First Name
Ranjit
Last Name
Jhala
Name
Ranjit Jhala
Phone
(858) 534-1420
Fax

Career

Position
Assoc Professor
Status
About
Professor Jhala is interested in Programming Languages and Software Engineering, specifically, in techniques for building reliable computer systems. His work draws from, combines and contributes to the areas of Type Systems, Model Checking, Program Analysis and Automated Deduction, with his fantastic students in the Programming Systems Group. Ranjit Jhala received a bachelor of technology degree in computer science in 1999 from the Indian Institute of Technology in New Delhi, and a Ph.D. in electrical engineering and computer science from UC Berkeley in 2004.