Teaching
Spring 2023 | @BIMSA | Formal Semantics of Programming Languages |
Fall 2022 | @BIMSA | Graph Algorithms |
Spring 2022 | @BIMSA | Formal Semantics of Programming Languages |
Fall 2021 | @BIMSA | Foundations of Programming Languages |
Spring 2021 | @BIMSA | Formal Semantics of Programming Languages |