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