Ori Lahav
Professor
Computer Science
Tel Aviv University
Israel
Biography
I am a faculty member in the School of Computer Science at Tel Aviv University. I did my PhD at Tel Aviv University under the supervision of Arnon Avron. From 2014 to 2017, I was a postdoctoral researcher at MPI-SWS in Germany hosted by Viktor Vafeiadis and Derek Dreyer. My main areas of research are programming languages and verification, with a focus on concurrency and relaxed memory models.
Research Interest
Concurrency, weak consistency and relaxed memory models, Programming languages, program analysis and verification, Logic and proof theory.
