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