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

שחר יצחקי

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