معرفی
Ranjit Jhala is a Professor of Computer Science Engineering in the Jacobs School of Engineering at the University of California, San Diego. His office is located in CSE 3110, and he can be reached at (858) 534-1420 or via email at jhala@cs.ucsd.edu. He is affiliated with the Programming Systems Group at UCSD.
Dr. Jhala's primary research interests lie in Programming Languages and Software Engineering, with a specific focus on techniques for building reliable computer systems. His work integrates concepts from Type Systems, Model Checking, Program Analysis, and Automated Deduction. He has established himself as a leading researcher in refinement types and program verification.
His research portfolio includes several major projects: Flux for advanced dataflow analysis, Interaction-based Program Analytics for understanding developer behavior, Liquid Haskell for bringing refinement types to functional programming, and Timing Channels for analyzing and preventing security vulnerabilities. These projects demonstrate his interdisciplinary approach spanning programming languages, software engineering, and computer security.
Dr. Jhala's publication record shows consistent contributions to top-tier venues including PLDI, POPL, OOPSLA, ICFP, OSDI for programming languages and systems work, and CCS, USENIX Security, and S&P for security-related research. His work bridges theoretical foundations with practical applications in program verification.
He has been active in the academic community through tutorials such as the CAV 2019 Tutorial on Verification with Refinement Types and has shared insights on academic presentation through his ICFP @ PLMW 2018 talk 'How to design talks.' Dr. Jhala is currently teaching CSE 130: Programming Languages and CSE 230: Graduate Programming Languages for Winter 2025, continuing his commitment to education in programming languages.
