דלג לתוכן (מקש קיצור 's')
Logo of Technion
Logo of CS Department
מידע כללי

חדשות

מלגת ות"ת-צוקרמן להשתלמות פוסט-דוקטורט להדר פרנקל
יום שני, 28 יוני, 2021
Zuckerman Foundation Scholarship for Post-doctoral Students to Hadar Frenkel הדר פרנקל, תלמידת תואר שלישי בפקולטה לקראת סיום לימודיה, זכתה במלגת ות"ת-צוקרמן להשתלמות בתר-דוקטורט בחו"ל למדעניות מצטיינות, ותחומי המחקר בהם היא עוסקת הם אימות פורמלי של מערכות מעל תחומי ערכים אינסופיים - למשל פרוטוקולי תקשורת ואבטחת מידע; מידול סופי של מערכות מעל תחומי ערכים אינסופיים, והצעת אלגוריתמים יעילים לאימות ותיקון של מערכות כאלה.

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