About
About
I am a research assistant and PhD candidate in the Formal Method Group at the Carl von Ossietzky Universität Oldenburg. Currently I am an associated fellow at the CAUSE research group. Below you can find a list of my past and current research topics, as well as other topics I am interested in. I am open to collab on related projects together.
Past Research Topics
- Galois Energy Games
- Behavioural Equivalences
Current Research
- Responsibility Allocation
- Concurrent Games
- Petri Nets
- Linearizability
Other Interests
- Theorem Provers
- Timed Automata