|+49 631 93038529|
My research interests broadly lie in the intersection of machine learning and formal methods. I am especially interested in learning-based verification and synthesis of complex systems. On top of that, I work on logics as well as on the question of how the design and specification of systems can be improved by machine learning.
Recently, I became interested in exploring how immersive visualization technology (VR) can be used for designing and analyzing concurrent systems.
As a byproduct of my research, I have developed and contributed to a number of tools:
Invariant Synthesis for Incomplete Verification Engines
Horn-ICE Learning for Synthesizing Invariants and Contracts
I am supervising Bachelor and Master theses centering around machine learning in verification and synthesis. Should you be looking for a thesis or project in these areas, please contact me for further information.
See my DBLP entry for a complete list.