תמונה של דר' שחר יצחקי

דר' שחר יצחקי

יצירת קשר
דף בית:
http://www.cs.technion.ac.il/~shachari/
דואר אלקטרוני:
shacharics.technion.ac.il
משרד:
703
טלפון:
04-829-4915
תחומי עניין במחקר
סינתזה של תוכנה; תכנות ברמת-על ותכנות אוטומטי; שפות תכנות פונקציונליות; הוכחה פורמלית בעזרת מחשב.