הדר פרנקל, תלמידת תואר שלישי בפקולטה לקראת סיום לימודיה, זכתה במלגת ות"ת-צוקרמן להשתלמות בתר-דוקטורט בחו"ל למדעניות מצטיינות, ותחומי המחקר בהם היא עוסקת הם אימות פורמלי של מערכות מעל תחומי ערכים אינסופיים - למשל פרוטוקולי תקשורת ואבטחת מידע; מידול סופי של מערכות מעל תחומי ערכים אינסופיים, והצעת אלגוריתמים יעילים לאימות ותיקון של מערכות כאלה.

ברכות להדר ובהצלחה בהמשך![בחזרה לאינדקס החדשות]