אורנה קופרמן

אורנה קופרמן
לידה	חולון
ענף מדעי	מדעי המחשב
מקום לימודים	הטכניון - מכון טכנולוגי לישראל; אוניברסיטת קליפורניה בברקלי ;
מנחה לדוקטורט	ארנה גרימברג
מוסדות	האוניברסיטה העברית בירושלים (1 באוקטובר 1998); האוניברסיטה העברית בירושלים; מעבדות נוקיה בל ;
תלמידי דוקטורט	חנה צ'וקלר, שאול אלמגור
פרסים והוקרה	פרס מיכאל ברונו (2018)
בן או בת זוג	רז קופרמן
	www.cs.huji.ac.il/~ornak/

אורנה קופרמן היא פרופסור למדעי המחשב באוניברסיטה העברית בירושלים.

ביוגרפיה[עריכת קוד מקור | עריכה]

קופרמן נולדה בחולון ליוסף ברנהולץ המנהל הראשון של תיכון אילון ולאם מנהלת חשבונות. שירתה בצה"ל בין השנים 1986–1988. בשנת 1995 קיבלה דוקטורט מהטכניון.

בשנת 1996 הייתה חברת הסגל הטכני במעבדות בל ובין השנים 1997–1998 עשתה פוסט-דוקטורט באוניברסיטת ברקלי. לאחר מכן מונתה למרצה בבית הספר למדעי המחשב ולהנדסה באוניברסיטה העברית בירושלים. כהנה כראש בית הספר. תחומי מחקרה הם שיטות פורמליות לתכנון וייצור מערכות ממוחשבות ובפרט אוטומטים אינסופיים, אימות פורמלי ולוגיקה טמפורלית.

הייתה יועצת נשיא האוניברסיטה לענייני מגדר. במסגרת זו יזמה את "נוהל 15:30", לפיו מועדי ההרצאות והסמינרים המחלקתיים במרבית היחידות באוניברסיטה העברית יסתיימו עד השעה 15:30. מטרת הנוהל היא לאפשר לחוקרות וחוקרים צעירים המגדלים ילדים להשתתף בהרצאות ובסמינרים מחלקתיים מבלי שהדבר יבוא על חשבון בילוי הזמן שלהם עם ילדיהם.^[1]

הייתה סגנית רקטור האוניברסיטה העברית.

אחותה התאומה, תמי תמיר, היא פרופ' למדעי המחשב ודיקנית בית הספר למדעי המחשב במרכז הבינתחומי הרצליה. בעלה, רז קופרמן, הוא פרופ' למתמטיקה באוניברסיטה העברית. לזוג ארבעה ילדים.^[^{דרוש מקור]}