מה תרצו לחפש?
מה תרצו לחפש?
תמונת פרופיל של פרופ' דנה פיסמן

פרופ' דנה פיסמן

יחידות

  • פרופ' חברה

    חבר/ת סגל אקדמי בכיר

    הפקולטה למדעי המחשב והמידע ע"ש שטיין, המכון לתיאוריה של מדעי המחשב

    בניי אלון לטכנולוגיה עילית - 37 קומה 1 חדר 113, קמפוס מרקוס

    08-642-8943
  • חוקר במרכז

    ביה"ס למדעי המח והקוגניציה

אזור צור קשר עם איש הסגל

dana@bgu.ac.il

אודות

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

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

כניסת סגל לעדכון פרטים בעמוד