|+49 631 93038529|
I am offering Bachelor/Master projects and theses centered around logic, verification/synthesis, and/or machine learning. Please contact me for more details.
Please note that I can normally not offer such projects/theses for non-EU students due to visa regulations.
My research interests broadly lie in the intersection of machine learning and formal methods. I am especially interested in combining inductive techniques from the area of machine learning and symbolic techniques from the area of logic. The goal of my group is to build intelligent, automated tools for the design, the construction, and the analysis of hardware, software, and cyber-physical systems.
My group is working on a number of topics, including:
Some of our projects also extend into theoretical computer science, specifically to automata theory, game theory, and logic.
You can try some of the tools we have developed online:
As a byproduct of my research, I have developed and contributed to a number of tools:
You can try some of our tools online:
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.