תמונה של דר' שאול אלמגור

דר' שאול אלמגור

יצירת קשר
דף בית:
http://shaull.cswp.cs.technion.ac.il/
דואר אלקטרוני:
shaullcs.technion.ac.il
משרד:
635
טלפון:
04-829-4322
תחומי עניין במחקר
אימות פורמלי של חומרה ותוכנה, בדיקת מודל, לוגיקה טמפורלית, אוטומטים, מערכות דינמיות, סינתזה ותכנון.