ד"ר שרון שוהם בוכבינדר

ד
ד"ר שרון שוהם בוכבינדר

אימות פורמלי של תוכנה

מדעים מדויקים

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

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

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

 

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

 

 

אוניברסיטת תל אביב עושה כל מאמץ לכבד זכויות יוצרים. אם בבעלותך זכויות יוצרים בתכנים שנמצאים פה ו/או השימוש
שנעשה בתכנים אלה לדעתך מפר זכויות, נא לפנות בהקדם לכתובת שכאן >>