Draft:Sorin Lerner
Sorin Lerner | |
|---|---|
| Academic background | |
| Education | |
| Thesis | Automatically Proving the Correctness of Program Analyses and Transformations |
| Doctoral advisor | Craig Chambers |
| Academic work | |
| Institutions | UC San Diego |
Sorin Lerner is a computer scientist. He is Professor of Computer Science and Chair of the Department at the Jacobs School of Engineering at UC San Diego.[1][2][3]
Lerner grew up in Montreal. He studied computer engineering at McGill University. After McGill, he attended the University of Washington in Seattle for graduate studies, graduating with a PhD. At UW, he was advised by Craig Chambers.[4]
His research focuses on Programming Language techniques for various domains, including program verification, security/privacy, and human-computer interaction. He has published around 90 original technical research papers,[5] including distinguished paper awards at ICSE, USENIX, and PLDI.[6][7][8][9] He received the 2018-2019 UC San Diego Computer Science Teacher of the Year Award.[10]
Lerner joined the Computer Science and Engineering faculty of the Jacobs School in January 2006.[3] He was appointed chair of the department in 2020, having previously served as vice chair for graduate education.[1]
References
[edit]- ^ a b "Sorin Lerner". cseweb.ucsd.edu. Retrieved 2025-06-17.
- ^ "Department Chairs | Jacobs School Of Engineering". jacobsschool.ucsd.edu. Retrieved 2025-06-17.
- ^ a b "Faculty Profiles | Jacobs School Of Engineering". jacobsschool.ucsd.edu. Retrieved 2025-06-17.
- ^ "Sorin Lerner - The Mathematics Genealogy Project". mathgenealogy.org. Retrieved 2025-06-17.
- ^ Sorin Lerner at DBLP Bibliography Server
- ^ "ACM SIGSOFT Distinguished Paper Award at ICSE 2025 | João F. Ferreira". Retrieved 2025-06-17.
- ^ "ACM SIGSOFT Distinguished Paper Award at ICSE 2025 | João F. Ferreira". joaoff.com. Retrieved 2025-06-17.
- ^ "Retrofitting Fine Grain Isolation in the Firefox Renderer | USENIX". www.usenix.org. Retrieved 2025-06-17.
- ^ "Automatically Proving the Correctness of Compiler Optimizations". projectsweb.cs.washington.edu. Retrieved 2025-06-17.
- ^ "Congrats Sorin Lerner: CSE's 2018-19 Teacher of the Year | Computer Science". cse.ucsd.edu. Retrieved 2025-06-17.
External links
[edit]- Sorin Lerner publications indexed by Google Scholar