Home

I’m a Ph.D. student advised by Dr. Shachar Itzhaky and Dr. Hila Peleg. My research interests include programming languages, software engineering, formal verification and their intersections.

Link to my CV.

Teaching

Spring 2023

Introduction to Systems Programming (MATAM) – TA in Charge
Reverse Engineering – TA in Charge

Winter 2022-2023

Introduction to Systems Programming (MATAM) – TA in Charge

Summer 2022

Programming Languages (Open University of Israel) – Instructor

Spring 2022

Introduction to Systems Programming (MATAM) – TA

Service

  • OPLSS’23 Participant Talks workshop organizer
  • Artifact Evaluation Committees: TACAS’24, ECOOP’24