× Logo@2x
Eventil Find Tech Events
Official
In Play Store
View
× Logo app store
Eventil
Official
In App Store
View
Facebook gldusoedftbqgdmzyaryjq large

Ranjit Jhala

Professor of Computer Science and Engineering

Are you Ranjit Jhala?

Claim your profile today and start building your speaker history.

About

Ranjit Jhala is a Professor of Computer Science and Engineering at the University of California, San Diego. He is interested in building algorithms and tools that help engineer reliable computer systems. His work draws from and contributes to the areas of Model Checking, Program Analysis, and Automated Deduction, and Type Systems. He has helped create several influential systems including the BLAST software model checker, RELAY race detector, MACE/MC distributed language and model checker, and is now workin

Spoke in 1 country