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.
