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.
Introduction to Systems Programming (MATAM) – TA in Charge
Programming Languages (Open University of Israel) – Instructor