teaching
Pointers to teaching material, ideas for bachelor and master thesis projects
Course Pages
Access the following pages for more information on the course
-
(2020) Systems Development: Course Description - Course page (authentication required)
-
(2020) IT and Business Process Modeling: Course Description - Course page (authentication required)
-
(2019) IT and Business Process Modeling: Course Description - Course page(authentication required)
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)