Write a Blog >>
Ranjit Jhala

Registered user since Tue 20 Dec 2016

Name: Ranjit Jhala

Bio: Nom nom. Chomp. Burp.

Country: United States

Affiliation: University of California at San Diego, USA

Personal website: http://ranjitjhala.github.io

Research interests: Programming Languages, Formal Verification, Software Engineering

Contributions

PLDI 2017 Committee Member in External Review Committee
Refinement Types for Program Verification and Synthesis
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile