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

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

תחומי מומחיות

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