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.
  1. Modelling Routing Protocols (Msc/Bsc/Hon)

    Wireless Mesh Networks (WMNs) are a promising technology that is currently being used in a wide range of application areas, including Public Safety, etc. Typically, these networks do not have a central component (router), but each node in the network acts as an independent router, regardless of whether it is connected to another node or not. In WMNs, a routing protocol is used to establish and maintain network connectivity through paths between source and destination node pairs. As a consequence, the routing protocol is one of the key factors determining the performance and reliability of WMNs. Specifications for routing protocols are usually written in plain English. This often yields ambiguities, inaccuracies or even contradictions. The use of Formal Methods like process algebra avoids these problems and leads to a precise description of protocols. To compare and evaluate different protocols, we aim at a compendium of standard routing protocol specifications in a unified language.
    So far we have modelled two of the standard protocols using process algebra, namely the Ad hoc On-Demand Distance Vector (AODV) and the Dynamic MANET On-demand (DYMO) routing protocol. The project's work should include the formalisation of a third standard protocol, called OLSR(v2) ( To achieve this formalisation, it is also necessary to introduce suitable notion for timing primitives into the description language. After a faithful specification of OLSR has been given, the work could include the verification of basic properties. An example for such a property is packet delivery; it guarantees that a packet, which is injected into a network, is finally delivered at the destination (provided the destination can be reached).

    Contact: P. Höfner

  2. What's a good routing protocol? — Measurements for Comparing Routing Protocols (Msc/Bsc/Hon)

    Routing protocols specify how routers communicate with each other, disseminates information to select routes between any two nodes on a network and provides the ground for sending data (packets) through a network. They find applications in all types of (communication) networks, such as metropolitan area networks (MAN), local area networks (LAN), virtual private networks (VPN) or wireless mesh networks (WMN). Due to the diversity in applications dozens of (classes of) different protocols have been developed. Often there are several protocols for the same type of networks. In the case of WMNs there are for example reactive protocols, such as AODV or DYMO, and link-state protocols, such as B.A.T.M.A.N. or OLSR.
    All protocols have been implemented and deployed (in test-beds and in reality). A question which remains is, which protocol should be used in certain circumstances: Is AODV better than OLSR, if there is only few network traffic? Should B.A.T.M.A.N be used in highly-connected networks only? ... To answer these questions systematically, network topologies have to been classified, using different metrics.
    Aim of the project is to define properties that can be used as measurements for routing protocols. An example can be the amount of control messages sent. To show the usefulness of the measurements, different protocols such as AODV, DYMO and B.A.T.M.A.N. should be compared.

    Contact: P. Höfner

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: Jul 09, 2018