Dr. Ori Lahav

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


  • 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

Tel Aviv University, P.O. Box 39040, Tel Aviv 6997801, Israel
UI/UX Basch_Interactive