Scholar
Ori Lahav
Google Scholar ID: 4VmkC4gAAAAJ
Tel Aviv University
Citations & Impact
Citations
1,830
H-index
22
i10-index
37
Publications
20
Co-authors
60
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Supported by an ERC Starting Grant and an ISF Grant; multiple conference papers published, including PLDI, FoSSaCS, ESOP, DISC, OOPSLA, etc.; received Best Paper & Best Student Paper Awards at DISC 2024.
Research Experience
- Postdoctoral researcher at Tel Aviv University in 2014, hosted by Mooly Sagiv; Postdoctoral researcher at MPI-SWS in Germany from 2014 to September 2017, hosted by Viktor Vafeiadis and Derek Dreyer.
Education
- PhD: Tel Aviv University, supervised by Arnon Avron.
Background
- Research interests: programming languages and verification, with a focus on concurrency and relaxed memory models; also interested in proof-theory, semantics of (non-classical) logics, and automated reasoning.
Miscellany
- Seeking highly motivated candidates for postdoc, PhD, and MSc positions; organizing a Dagstuhl Seminar on Foundations of Disaggregated Memory and Heterogeneous Architectures (to be held in 2026).
