Courses
Courses
Bachelor Computing Science [Program Description]
Current coursesBachelor Computing Science [Program Description]
Program Correctness
Lecturer [Course Website] [Schedules]
Languages and Machines
Lecturer [Course Website] [Schedules]
Past courses
Discrete Structures
Lecturer [Course Website]
Introduction to Computing Science
Teaching Assistant [Course Website]
Current course
Models and Semantics of Computation
Lecturer [Course Website] [Schedules]
Past course
Formal Modelling of Communication Systems
Lecturer [Course Website]
Board of Admissions
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.