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.