January-April 2024:
Principles of Distributed Software.
January-April 2024: Formal Methods in Software Engineering.
August-December 2023: Program analysis and verification.
January-April 2022: Formal Methods in Software Engineering.
January-April 2022: Principles of Distributed Software.