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

סגל אקדמי בכיר בביה"ס למדעי המחשב
ביה"ס למדעי המחשב סגל אקדמי בכיר
פרופ' אורי להב
טלפון פנימי: 03-6406422
פקס: 03-6409357
משרד: צ'ק פוינט, 234

מחקר

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

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

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

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

השכלה

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

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

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

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

מינויים אקדמיים

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

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

פרסים ומלגות

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

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

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

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

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

  • ERC STARTING GRANT, 2020

אוניברסיטת תל אביב עושה כל מאמץ לכבד זכויות יוצרים. אם בבעלותך זכויות יוצרים בתכנים שנמצאים פה ו/או השימוש
שנעשה בתכנים אלה לדעתך מפר זכויות, נא לפנות בהקדם לכתובת שכאן >>