August-December 2025: Program analysis and verification.

January-April 2025: Principles of Distributed Software.

August-December 2024: Program analysis and verification.

January-April 2024: Formal Methods in Software Engineering.