Dr. Ori Lahav

ביה"ס למדעי המחשב סגל אקדמי בכיר
Dr. Ori Lahav
Phone: 03-6406422
Fax: 03-6409357


  • Concurrency, weak consistency and relaxed memory models

  • Programming languages, program analysis and verification

  • Logic and proof theory


  • Adi Lautman Interdisciplinary Program for Outstanding Students, Tel Aviv University, 2005-2009

  • BSc in Mathematics, Tel Aviv University, 2008

  • MSc in Computer Science, Tel Aviv University, 2009

  • PhD in Computer Science, Tel Aviv University, 2014

Academic Appointments

  • Senior Lecturer, School of Computer Science, Tel Aviv University, 2017

Awards and Prizes

  • Celia and Marcos Maus Prize for excellence in MSc studies, 2009

  • Wolf Prize for excellent graduate students, 2012

  • Deutsch Prize for excellence in PhD studies, 2013

  • Dan David Prize Scholarship for young researchers, 2014

  • Alon Fellowships for Outstanding Young Researchers, 2018 

Tel Aviv University makes every effort to respect copyright. If you own copyright to the content contained here and / or the use of such content is in your opinion infringing, Contact us as soon as possible >>
Tel Aviv University, P.O. Box 39040, Tel Aviv 6997801, Israel
UI/UX Basch_Interactive