Mathematical Logic, 2023, 24
Advanced Machine Learning, 2024
Compilation Principles and Techniques, 2024