English

פרופ' אודי בוקר

בית ספר אפי ארזי למדעי המחשב Ph.D., אוניברסיטת תל אביב

תחומי הוראה ומחקר

  • אימות פורמלי
  • אימות אוטומטי של תוכניות
  • לוגיקה ותורת הקבוצות
  • תורת האוטומטים
  • מודלים חישוביים וחישוביות
  • אודי בוקר בעל תואר PhD במדעי המחשב מאוניברסיטת תל-אביב. לאחר לימודיו המשיך אודי לפוסט-דוקטורט באוניברסיטה העברית וב-Institute of Science and Technology (IST) Austria. מחקריו של פרופ' אודי עוסקים באימות פורמלי, אוטומטים, מודלים חישוביים, חישוביות, ולוגיקה.
    בתעשיה עבד אודי כ-R&D director בחברת מרקורי אינטראקטיב (נרכשה בהמשך ע"י HP), שם יזם והוביל את הפיתוח של גישה חדשה לבדיקת מערכות תחת עומס דרך האינטרנט.