Prof. Ranjit Jhala — Research Profile
University of California, San Diego · Department of Computer Science and Engineering
Graduate application deadlines
Department of Computer Science and Engineering
PhD in Computer Science / Computer Engineering
Fall 2027Application deadline
Dec 16, 2026 23:59 PST
Source: cse.ucsd.eduChecked Nov 2, 2026MS in Computer Science / Computer Engineering
Fall 2027Application deadline
Dec 16, 2026 23:59 PST
Source: cse.ucsd.eduChecked Nov 2, 2026
Considering this lab for grad school?
Save it to compare side by side with other labs. Jot a one-line note under each paper below — Application prep gathers your notes into an outline for your email to the PI and your statement of purpose. You do the writing; no AI.
What to prepare before emailing a PIAbout
Prof. Ranjit Jhala at University of California, San Diego Department of Computer Science and Engineering lists Techniques for building reliable systems: model checking, automated deduction, program analysis, type systems, programming languages, software engineering, logic as their registered research area.
Research keywords
Recent papers
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Scientific Computing and Data Management
Photonic Systems Laboratory
University of Illinois Urbana-Champaign · Electrical and Computer Engineering
Raven: From Scientific Data to Trustworthy Autonomous DiscoveryZenodo (CERN European Organization for Nuclear Research) · Sep 14Juliana Freire Lab
New York University · Department of Computer Science and Engineering (Tandon School of Engineering)
AgentTrails: Towards Trust and Reuse for Agentic TasksPreprintarXiv (Cornell University) · Jul 21Sara Beery Lab
Massachusetts Institute of Technology · Department of Electrical Engineering and Computer Science
Scrub Data: A Framework for Reproducible Data Curation with AI Coding AgentsPreprintbioRxiv (Cold Spring Harbor Laboratory) · Sep 23
Other labs in this department
- Aaron Schulman Lab
- Albert Chern Lab
Numerical analysis, differential geometry, algebraic topology, differential equations, computational mathematics
- Alex C. Snoeren Lab
Computer systems, including operating systems and networking, particularly protocols to support secure and robust wide-area mobile computing
- Alex Orailoglu Lab
Electronic design automation, VLSI testing, synthesis of fault-tolerant integrated circuits (ICs)
- Alin Deutsch Lab
Semistructured and XML data, data security, adaptive distributed query design, the design and optimization of query languages
- Amy Ousterhout Lab
Operating systems and networks