Pointers to teaching material, ideas for bachelor and master thesis projects

Course Pages

Access the following pages for more information on the course

Bachelor and MSc projects

I am always looking for engaged students that would like to start doing research. Contact me if you are interested in doing your thesis in one of the following topics:

  • Business Process Management (Models, Verification, Compliance)
  • Programming Languages
  • Verification Techniques (Type theory, model checking, static analysis)
  • Understandability of Software
  • Natural Language Processing

Some examples of previous projects

These are some of the titles of the last projects I have supervised:

  • J.M. Niyodusenga: Automatic Process Model Extraction in DCR (2020)
  • S. Agafitei: Usability and understandability studies of business process notations within the construction industry (2019)
  • M. Larsen, M. Hansen: A Distributed Programming Framework for Go (2017)