|+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 with the help of inductive techniques from machine learning.
As a byproduct of my research, I have developed various tools. You can try some of them online:
As a byproduct of my research, I have developed and contributed to a number of tools:
Horn-ICE Learning for Synthesizing Invariants and Contracts
Invariant Synthesis for Incomplete Verification Engines
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.