פרופ' חברה
חבר/ת סגל אקדמי בכיר
הפקולטה למדעי המחשב והמידע, המכון לתיאוריה של מדעי המחשב
בניי אלון לטכנולוגיה עילית - 37 קומה 1 חדר 113, קמפוס מרקוס
פרופ' דנה פיסמן
יחידות
-
08-642-8943
אזור צור קשר עם איש הסגל
אודות
המחקר של דנה פיסמן מתמקד ביסודות של אימות פורמלי ותכנון מערכות, במטרה לשפר את האמינות והנכונות של מערכות ממוחשבות. היא מפתחת מסגרות מתמטיות ואלגוריתמיות להגדרה, אימות, ניתוח, מדידה ולמידה של התנהגות מערכות. עבודתה נשענת על לוגיקה, תורת האוטומטים, תורת המשחקים האלגוריתמית, תורת הלמידה החישובית, ויסודות מתמטיים נוספים.האוניברסיטה אינה נושאת בכל אחריות לתוכן המוצג בעמוד זה וביתר עמודי חברי הסגל. האחריות הבלעדית לתוכן מוטלת על חברי הסגל עצמם, המעדכנים ומנהלים את המידע בעמודיהם באופן עצמאי.
