Current Courses

Models and Semantics of Computation (1A)

• Master Computing Science

• Course Website 

• Schedules

Basic Approaches to the Semantics of Computation (1B)

• Bachelor Computing Science

• Course Website 

• Schedules

Languages and Machines (2B)

• Bachelor Computing Science

• Course Website

• Schedules