Teaching

Current/Forthcoming Courses

Bachelor Computing Science at UG:

• [2019/20, IB] Discrete Structures (INBDS-08) - Lecturer
  • [Course Website] [Schedules]
• [2019/20 IIB] Languages and Machines (INBTA-08) - Lecturer
  • [Course Website] [Schedules]

Master Computing Science at UG:

• [2019/20, IIA] Formal Modelling of Communication Systems (WMCS14001) - Lecturer
  • [Course Website] [Schedules]

I am also a member of the Admissions Board for the MSc Computing Science. Information about pre-master and "fast-track" programs can be found here.