 | 
Institute Affiliation:
Contact Information:
Email:
sorin@cs.ucsd.edu
Personal Home Page
Research Page
| | Sorin Lerner - Assistant Professor
Programming language and analysis, including
domain-specific languages, compilation, formal methods and automated theorem proving.
Professor Lerner's research interests lie in programming language and analysis techniques for making
software systems easier to write, maintain and understand, including static program analysis, domain specific
languages, compilation, formal methods and automated theorem proving. He is a member of the UCSD Programming
Systems Group Current projects include: - Rhodium: A framework for provably correct compiler optimizations;
- Collider: A next-generation compilation system, successor to the Rhodium language and system; and -
PolicyL: A language and system for defining, manipulating, and checking security policies.
Capsule Bio:
Sorin Lerner joined the Computer Science and Engineering faculty of the Jacobs School in January 2006.
He grew up in Montreal, then studied computer engineering at McGill. After McGill, he went to graduate school
in the Computer Science department at the University of Washington in Seattle.
| |
