Teaching

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

BSc courses (2019-2020)

• Introduction to Logic
• Discrete Structures
• Languages and Machines
• Functional Programming
• Imperative Programming
• Program Correctness
• Signals and Systems

MSc courses (2019-2020)

• Formal Modeling of Communicating Systems

Looking for a BSc or MSc research project? Work with us!

Feel free to contact one of the faculty members of the group for specific topics.