תמונה של פרופ' ארנה גרימברג

פרופ' ארנה גרימברג

Leumi Chair of Science

יצירת קשר
דף בית:
http://orna.cswp.cs.technion.ac.il/
דואר אלקטרוני:
ornacs.technion.ac.il
משרד:
620
טלפון:
04-829-4327
שעות קבלה:
Sunday, 15:30-16:30
תחומי עניין במחקר
אימות בעזרת מחשב של חומרה ותוכנה; מודולריות ואבסטרקציה; לוגיקה טמפורלית; בדיקת מודל מקבילית, שקילויות ויחסי סדר בין מבנים, אימות מונחה-SAT, משחקים.