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

Preface First

This is a debugging block

Preface Second

This is a debugging block

Preface Third

This is a debugging block

תוכן

This is a debugging block

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



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

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

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

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

 

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

 

 

Postscript First

This is a debugging block

Postscript Second

This is a debugging block

Postscript Third

This is a debugging block

Postscript Fourth

This is a debugging block