Teaching
Current/Forthcoming Courses
Current/Forthcoming Courses
Bachelor Computing Science at UG:
- [2018/19, IB] Discrete Structures (INBDS-08) - Lecturer
- [2018/19, IIB] Languages and Machines (INBTA-08) - Lecturer
Master Computing Science at UG:
- [2018/19, IIA] Formal Modelling of Communication Systems (WMCS14001) - Lecturer
Past Courses
Past Courses
- Formal Modelling of Communication Systems (WMCS14001) [Course Website]
- Lecturer on [2017/18, IIA] [2016/17, IIA] [2015/16, IIA]
- Discrete Structures (INBDS-08) [Course Website]
- Lecturer on [2017/18, IB] [2016/17, IB] [2015/16, IB] [2014/15, IA]
- Languages and Machines (INBTA-08) [Course Website]
- Lecturer on [2017/18, IIB] [2016/17, IIB]
- Introduction to Computing Science [Course Website]
- Teaching Assistant on [2014/15, IA]