Ori Lahav

Ori is a faculty member in the School of Computer Science at Tel Aviv University. He did his PhD at Tel Aviv University under the supervision of Arnon Avron. In 2014, he was a postdoctoral researcher at Tel Aviv University hosted by Mooly Sagiv. After that, until September 2017, he was a postdoctoral researcher at MPI-SWS in Germany hosted by Viktor Vafeiadis and Derek Dreyer.

Ori's main areas of research are programming languages and verification, with a focus on concurrency and relaxed memory models. He's also interested in proof-theory and semantics of (non-classical) logics and automated reasoning.