doron peled

פרופ' דורון פלד

סגל אקדמי

03-5318765 / 03-7384056
חדר 226 / בניין 216
doronp@cs.biu.ac.il
לאתר האישי
שעות קבלת קהל
סמסטר א' וב': יום ג' 16:00-15:00. בתיאום בלבד.

תחומי מחקר

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

פרסומים