דר' ערן יהב

דר' ערן יהב

יצירת קשר

דף בית:: http://www.cs.technion.ac.il/~yahave/
דואר אלקטרוני:: yahavecs.technion.ac.il
משרד:: 734
טלפון:: 4318
שעות קבלה:: Monday, 14:30-15:30

תחומי עניין במחקר

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