I am offering thesis topics in the following main areas. I will be happy to provide more information. Just contact me!

• Constraint Solving
• Software Synthesis
• Verification of Complex Systems

• Modeling and Analysis of Automated Lane Keeping Systems
• Multi-agent Path Finding in Continuous Spaces
• Implementation of a Novel Drone Control Algorithm
• Extending and Improving a Proof Assistant