BA/MA Theses

We are interested in modelling and verification. In particular, we are interested in the quality of modelling languages, i.e., how suitable they are for certain problems, how they can be extended, and what kind of verification methods they support. From that we derive a large field of topics for Bachelor and Master theses.

Interesting modelling languages are for example:

  • process calculi (e.g. the pi-calculus)
  • Petri-nets
  • event structures
  • population protocols
  • automata
  • …

There is also a large number of methods and tools for verification:

  • theorem prover (e.g. Isabelle/HOL)
  • model checker (e.g. Spin)
  • type systems
  • ….

Potential topics can revolve around such modelling languages and/or verification methods. To find a suitable topic, we talk (in a usually about 30 minutes long preparation meeting) about your skills and interests and then search for interesting topics together. For this preparation meeting you can bring your on suggestions for topics, but no such suggestions are necessary.

If you are interested, please write an e-mail (kirstin.peters@tps.tu-darmstadt.de) with 2-3 potential dates for a preparation meeting.