דילוג לתוכן העיקרי
Toggle navigation
אודות
Faculty Positions
צור קשר
כניסה
Search
כניסה
Main navigation Hebrew
סגל המחלקה
מידע למועמדים
מידע לסטודנטים
קבוצות מחקר
המעבדה לעיבוד קול ולמידת מכונה
מרכז המחקר לקריפטוגרפיה יישומית ואבטחת סייבר
סוכנים אוטונומיים ומערכות מרובות סוכנים
הנדסת תכנה
עיבוד שפה טבעית
קונסורציום בר-אילן לרובוטיקה
Pattern Matching
תוכניות לימודים
תואר ראשון
תואר שני
תואר שלישי
תיכוניסטים
מידע נוסף
מידע לסטודנטים
לוח הודעות
לוח אירועים
לוח חדשות
לוח מעבדות
לוח משרות
מלגות לסטודנטים
טפסים
סגל אקדמי
פרופ' דורון פלד
סגל אקדמי
03-5318765 / 03-7384056
בניין 216 חדר 226
doronp@cs.biu.ac.il
לאתר האישי
שעות קבלת קהל
סמסטר א' וב': יום ג' 16:00-15:00. בתיאום בלבד.
תחומי מחקר
Proof of correctness of hardware systems and software Automatic proof, tests of logic systems and formal languages(38)
פרסומים
Google Scholar
dblp