Prof. Ori Lahav

School of Computer Science
ביה"ס למדעי המחשב סגל אקדמי בכיר
Quick navigation:
Prof. Ori Lahav
Phone: 03-6406422
Fax: 03-6409357
אתר אישי
Google Scholar
Office: CHECK POINT BUILDING, 234

Research

  • Concurrency, weak consistency and relaxed memory models

  • Programming languages, program analysis and verification

  • Logic and proof theory

  • Automated proofs

Education

  • 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

  • Associate Professor, School of Computer Science, Tel Aviv University, 2021

 

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 

  • ERC STARTING GRANT, 2020

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