× Logo@2x
Eventil Find Tech Events
In Play Store
× Logo app store
In App Store
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.


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