GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
University of California San Diego
/
Ranjit Jhala
R
Ranjit Jhala
Computer Science
,
University of California San Diego
Research Interests
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
Software Engineering Research
Software Testing and Debugging Techniques
Academic Metrics
Links
Grants