About
Ranjit Jhala is a Professor of Computer Science Engineering at UC San Diego's Jacobs School of Engineering, where he leads the Programming Systems Group. His research spans Programming Languages and Software Engineering, focusing on building reliable systems through Type Systems, Model Checking, Program Analysis, and Automated Deduction.
His current projects include Flux for Rust verification, Liquid Haskell refinement types, and techniques for analyzing timing channels. Professor Jhala teaches courses on Programming Languages (CSE 130) and Graduate Programming Languages (CSE 230), with extensive experience teaching compilers and verification topics.
Professor Jhala advises several students including Alexander Bakst, Ben Cosman, and Marc Andrysco. Notable former students include Niki Vazou (Postdoc at Maryland), Ravi Chugh (University of Chicago), and Patrick Rondon (Google).
Find Ranjit Jhala elsewhere
Related Searches
You Might Also Like
Ranjit JhalaUniversity of California, San Diego · Professor
Ranjit JhalaNational and Kapodistrian University of Athens · Professor
Sorin LernerUniversity of California, San Diego · Professor
Nadia PolikarpovaNational and Kapodistrian University of Athens · Associate Professor- DDan J. SegristSouthern Illinois University Edwardsville · Professor
Aminata CairoSouthern Illinois University Edwardsville · Researcher