Home

I’m a MSc. student advised by Dr. Shachar Itzhaky and Dr. Hila Peleg. My research interests include programming languages, type theory, formal methods in software engineering and formal verification.

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