ברכות לד"ר דוד טרביז' בהנחיית פרופ' נעם רינצקי.
כותרת העבודה: Novel Memory Models for Symbolic Execution.