Teaching

Bachelor Computing Science [Program Description]

• Program Correctness (INBPC-08)
  • Lecturer [Course Website] [Schedules]
• Languages and Machines (INBTA-08)
  • Lecturer [Course Website] [Schedules]
• Discrete Structures (INBDS-08)
  • Lecturer [Course Website] [Schedules]
• Introduction to Computing Science
  • Teaching Assistant [Course Website]

Master Computing Science [Program Description]

• Formal Modelling of Communication Systems (WMCS14001)
  • Lecturer [Course Website] [Schedules]

Board of Admissions

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.