Current Courses

Bachelor Computing Science [Program Description]

Languages and Machines [Course Website] [Schedules]
Program Correctness [Course Website] [Schedules]

Master Computing Science [Program Description] [Courses]

Models and Semantics of Computation [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.

Google Sites

Report abuse