JO
Home
Teaching
Research
Publications
Contact
English
Toggle theme
Home
Teaching
Research
Publications
Contact
Teaching
Teaching
Courses and educational activities I am involved in.
All Years
▼
All Courses
41
Bachelor
30
Master
11
All Courses
41
Bachelor
30
Master
11
Software Security (ING3-1)
2025-2026
Bachelor
Cloud Security (ING3-2)
2025-2026
Bachelor
Algorithm Analysis (ECUE-143)
2025-2026
Bachelor
Python Programming (ECUE-142)
2025-2026
Bachelor
Model Checking (INFOM471)
2025-2026
Master
Fundamentals of Distributed System Verification (CSC_4SL04_TP)
2024-2025
Master
Model Checking (INFOM471)
2024-2025
Master
Programming 2 (IHDCB132)
2023-2024
Bachelor
Model Checking (INFOM471)
2023-2024
Master
Algorithms 2 (IHDCB331)
2023-2024
Bachelor
Programming 2 (IHDCB132)
2022-2023
Bachelor
Language Theory: Syntax and Semantics (IHDCB332/INFOB314)
2022-2023
Bachelor
Model Checking (INFOM471)
2022-2023
Master
Programming 2 (IHDCB132)
2021-2022
Bachelor
Language Theory: Syntax and Semantics (IHDCB332/INFOB314)
2021-2022
Bachelor
Model Checking (INFOM471)
2021-2022
Master
Programming 2 (IHDCB132)
2020-2021
Bachelor
Language Theory: Syntax and Semantics (IHDCB332/INFOB314)
2020-2021
Bachelor
Algorithms 2 (IHDCB331)
2020-2021
Bachelor
Model Checking (INFOM471)
2020-2021
Master
Programming 2 (IHDCB132)
2019-2020
Bachelor
Language Theory: Syntax and Semantics (IHDCB332/INFOB314)
2019-2020
Bachelor
Algorithms 2 (IHDCB331)
2019-2020
Bachelor
Model Checking (INFOM471)
2019-2020
Master
Programming 2 (IHDCB132)
2018-2019
Bachelor
Operations Research (INFOB224)
2018-2019
Bachelor
Language Theory: Syntax and Semantics (IHDCB332/INFOB314)
2018-2019
Bachelor
Algorithms 2 (IHDCB331)
2018-2019
Bachelor
Model Checking (INFOM471)
2018-2019
Master
Programming 2 (IHDCB132)
2017-2018
Bachelor
Operations Research (INFOB224)
2017-2018
Bachelor
Language Theory: Syntax and Semantics (IHDCB332/INFOB314)
2017-2018
Bachelor
Algorithms 2 (IHDCB331)
2017-2018
Bachelor
Model Checking (INFOM471)
2017-2018
Master
Programming 2 (IHDCB132)
2016-2017
Bachelor
Operations Research (INFOB224)
2016-2017
Bachelor
Model Checking (INFOM471)
2016-2017
Master
Programming 2 (IHDCB132)
2015-2016
Bachelor
Operations Research (INFOB224)
2015-2016
Bachelor
Operations Research (INFOB224)
2014-2015
Bachelor
Algorithms and Programming Languages
2008-2010
Bachelor