פרופ' אורי להב

מקביליות, קונסיסטנטיות חלשה ומודלי זיכרון חלשים

שפות תכנות, ניתוח ואימות תוכנה

לוגיקה ותורת ההוכחה

הוכחה אוטומטית

התכנית הבין-תחומית לתלמידים מצטיינים ע"ש עדי לאוטמן, אוניברסיטת תל אביב, 2009-2005

BSc במתמטיקה, אוניברסיטת תל אביב, 2008

MSc במדעי המחשב, אוניברסיטת תל אביב, 2009

PhD במדעי המחשב, אוניברסיטת תל אביב, 2014

מרצה בכיר, אוניברסיטת תל אביב, בית הספר למדעי המחשב, 2017

פרופסור חבר, אוניברסיטת תל אביב, בית הספר למדעי המחשב, 2021

פרס סיליה ומרקוס מאוס להצטיינות בלימודי תואר שני, 2009

פרס וולף לדוקטורנטים מצטיינים, 2012

פרס דויטש להצטיינות בלימודי תואר שלישי, 2013

מלגת דן דוד לחוקרים צעירים, 2014

מלגת אלון לסגל חדש, 2018

ERC STARTING GRANT, 2020

ERC CONSOLIDATOR GRANT, 2025