| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Thu, 11 Sep 2025 15:59:22 GMT
access-control-allow-origin: *
etag: W/"68c2f1da-181f"
expires: Mon, 29 Dec 2025 06:49:05 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 3481:444BC:871612:97B92D:69522208
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 06:39:05 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210049-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766990345.337585,VS0,VE208
vary: Accept-Encoding
x-fastly-request-id: efb34356d5e7265866620764de97997c344cadc2
content-length: 2365
Home ← Ranjit Jhala
Ranjit Jhala
Twitter
Ranjit Jhala 
I am a Professor of Computer Science Engineering in the Jacobs School of Engineering at the University of California, San Diego
Contact
- Office: CSE 3110
- Phone: (858) 534 1420
- Email:
jhala@cs.ucsd.edu - Parking: CSE Visitor Parking Map
Research
I am interested in Programming Languages and Software Engineering, specifically, in techniques for building reliable computer systems. My work draws from, combines and contributes to the areas of Type Systems, Model Checking, Program Analysis and Automated Deduction, with my fantastic students in the Programming Systems Group. Current projects include:
- Flux [PLDI 2023] [POPL 2025] [SOSP 2025]
- Liquid Haskell [ICSE 2025] [POPL 2024] [OSDI 2021], [PLDI 2019], [POPL 2018], [ICFP 2017], [ICFP 2015], [Blog]
- Interaction-based Program Analytics [OOPSLA 2022], [PLDI 2020], [OOPSLA 2017], [ICFP 2016],
- Timing Channels [CCS 2021], [USENIX Sec 2019], [PLDI 2019], [CCS 2018], [S&P 2015]
See my papers for more.
Teaching
CAV 2019 Tutorial:
Some general nuggets:
Currently I am teaching:
- Winter 2025 : CSE 130: Programming Languages
- Winter 2025 : CSE 230: Graduate Programming Languages