Teaching

• ECS 307/657 : Theory of Computation (2025-2026 Semester I)

• ECS 302/652 : Introduction to Software Modeling and Verification (2024-2025 Semester II)

• ECS 307/657 : Theory of Computation (2024-2025 Semester I)

• ECS 302/652 : Introduction to Software Modeling and Verification (2023-2024 Semester II)

• ECS 335/685 : Introduction to Process Mining (2023-2024 Semester I)

• ECS 408/608 : Operating Systems (2022-2023 Semester II)

• ECS 335/685 : Introduction to Process Mining (2022-2023 Semester I)

• ECS 302/652 : Introduction to Software Modeling and Verification (2021-2022 Semester II)

• ECS 307 : Theory of Computation (2021-2022 Semester I)

• ECS 202 : Data Structures and Algorithms (2020-2021 Semester II)

• ECS 302/652 : Introduction to Software Modeling and Verification (2020-2021 Semester I)

• ECS 202 : Data Structures and Algorithms (2019-2020 Semester II)

• ECS 307 : Theory of Computation (2019-2020 Semester I)

• ECS 415/615 : Probabilistic Model Checking (2018-2019 Semester II)

• ECS 302/652 : Introduction to Software Modeling and Verification (2018-2019 Semester I)

• ECS 402 : Concurrency Theory (2017-2018 Semester II)

• ECS 307 : Theory of Computation (2017-2018 Semester I)

• ECS 302 : Introduction to Software Modeling and Verification (2016-2017 Semester II)

• CS 101 : Introduction to Computers (2016-2017 Semester I)