Teaching

Winter 2020-2021 / 2021-2022 / 2022-2023 Spring 2024

Correctness Guarantees for Software (046277)

Spring 2020 / 2021 / 2022 Winter 2022-2023 / 2023-2024

Correctness Guarantees for Deep Learning (048890)

Design and Analysis of Algorithms (046002)