We offer courses in Logic, Formal Methods, Model Checking and Automated Reasoning. We are always looking for enthusiastic students who are interested in a research project or thesis in our Master programme.  We are responsible for the following courses of our bachelor and master programmes.

Bachelor courses

  • 2IT60: Logic and Set Theory
  • 2IS80: Fundamentals of Informatics
  • 2IC30: Computer Systems
  • 2IT90: Automata, Formal Languages and Complexity
  • 2ITA0: Process Theory
  • 2IWA0: Automotive Software Engineering
  • 2IX20: Software Specification

Master courses

Master Projects

The list below shows examples of topics for master projects; click on the title to see a more detailed description. Even when you don’t find what you want you can contact one of our staff members. Typically they have additional interesting projects not explicitly listed.

Internships / Capita Selecta

We are always looking for enthusiastic students for master projects, internships at companies in The Netherlands and abroad, or for a Capita Selecta. Examples of previous (master) projects can be found here.