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

דר' שחר יצחקי

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