Project Offers

This page lists a couple of projects we are offering at the moment. However, projects are not limited to the listed projects. In case you want to write your thesis with us or in case you are interested in an internship, feel free to contact us directly.


We are always willing to superwise (good) PhD students. Please contact us directly in case you are interested in doing a Phd in the wide area of formal modelling, reasoning and analysis. In particular we offer PhD topics in the area of process algebra, Kleene algebra, wireless mesh networks, software defined networks and expressivness.
Go Up

Master's/Bachelor's/Honour's Theses

Please contact us in case you want to write your thesis under our supervision. If you are interested in formal reasoning, formal modelling or verification and you do not find a topic in the list below, please contact us—we might have more topics available.
Go Up

DAAD Rise (Research Internship in Science and Engineering)

DAAD-funded scholarships. Students in the early stages of their studies who have the ambition to work abroad and gain hands-on research experience in their fields will be matched with researchers worldwide. DAAD will support these short-term summer internships by awarding scholarships to successful applicants to help cover parts of the living and travel costs.
No Internships available at the moment. Please check DAAD for dates of forthcoming scholarship opportunities.
Go Up
Last update: Apr 02, 2019