Sorin LernerView profile
Professor
Sorin Lerner is a Professor and Chair of the Department of Computer Science and Engineering at the University of California, San Diego (UCSD). His research spans programming languages, program verification, security/privacy, and human-computer interaction (HCI). He actively seeks graduate students and postdocs to join his research group. Education: PhD in Computer Science, University of Washington (2006) Research Interests: Sorin’s work focuses on applying programming language techniques to program verification, security, and live programming environments. His projects include the Rango system for retrieval-augmented proving, Projection Boxes for live programming visualization, and Radar for concurrent program analysis. He also explores gamification in education through Proof Games and Code Spells. Awards: Recipient of the PLDI 2003 Best Paper Award ICSE 2025 Distinguished Paper Award for Rango Teaching: Sorin teaches courses on programming languages (CSE 130, CSE 230), compilers (CSE 231), and specialized topics in automated theorem proving (CSE 291). He emphasizes live programming and interactive tools to enhance learning. Lab & Collaborations: Leads the PL@UCSD research group, collaborating with institutions like Microsoft, Google, and The University of Texas at San Antonio. Projects often involve cross-disciplinary efforts in software reliability, formal methods, and educational technology.







