Courses

• Mathematical Logic, 2023

• Advanced Machine Learning, 2024

• Compilation Principles and Techniques, 2024