Hier finden Sie einen Überblick über meine aktuellen Interessensschwerpunkte. Neben meinem Interesse für Software Engineering im Allgemeinen interessiere ich mich insbesondere für die Nutzung formaler Methoden im Bereich Software Engineering. Darüberhinaus begeistere ich mich aber auch für Künstliche Intelligenz (insb. Machine Learning) sowie 3D-Programmierung.

• Software Engineering
• Model-based SE and Testing
• Automatisierung im SE
• Formale Methoden im SE
• Verifikation (insb. Model Checking)
• Machine Learning
• Spiele-KI-Algorithmen und -Programmierung
• Grafikprogrammierung