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

03-5318765 / 03-7384056

חדר 226 / בניין 216

doronp@cs.biu.ac.il

לאתר האישי

שעות קבלת קהל

סמסטר א' וב': יום ג' 16:00-15:00. בתיאום בלבד.

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