Education

Our group delivers education in the study programmes BSc Computing Science and MSc Computing Science :

BSc courses

• Introduction to Logic (CS)
• Introduction to Computing Science
• Discrete Structures
• Programming Fundamentals
• Advanced Algorithms
• Functional Programming
• Signals and Systems for CS
• Languages and Machines
• Compiler Construction
• Computational Complexity
• Algorithmic Programming Contests
• Imperative Programming (for CS) (until 2022-2023)
• Program Correctness (until 2022-2023)

MSc courses

• Models and Semantics of Computation (1a)
• Modal Logic and Proof Theory (1b)
• Algorithms for Computationally Challenging Problems (2a) 
• Programs and Interactive Proofs (2a)
• Student Colloquium (Computing Science) (2a)
• Formal Modeling of Communicating Systems (until 2020-2021)
• Image Processing (until 2022-2023)

Supervision of BSc and MSc Students

Looking for a BSc or MSc research project? Please have a look at the available projects listed below. Feel free to contact one of the faculty members of the group if you have ideas for a project.

• Available student Projects
• Past student projetcs