Courses

Bachelor

Bachelor courses related to Mathematical Foundations:

• NWI-IPC002: Languages and Automata
• NWI-IBC003: Computability
• NWI-IBC028: Complexity
• NWI-IBC026: Semantics and Correctness
• NWI-IBC025: Semantics and Rewriting

If you liked these courses there is a good chance that you might be interested in a doing a thesis on Mathematical Foundations of Software!

Master

Our research is based on courses in the Mathematical Foundations of Computer Science (MFoCS) master specialization:

• NWI-IMC010: Type Theory and Coq
• NWI-IMC036: Category Theory and Coalgebra
• NWI-IMC011: Semantics and Domain Theory
• NWI-I00139: Proof Assistants
• NWI-IMC009: Automated Reasoning
• NWI-IMC060: Program Verification with Types and Logic