Research Interests

• (Multi-Objective) Evolutionary algorithms (real-valued design opimization), such as Approximation Guided Evolution
• Search-based software engineering in the area of formal methods
• Applications of bio-inspired algorithms to the field of renewable energy production
• Runtime analysis of bio-inspired algorithms (e.g. Genetic Programming)
• Evolving Pacing Strategies for Team Pursuit Track Cycling
• Travelling thief problem: a transition from theoretical problems to realistic problems
• Autonomous generation of music using machine learning techniques
• Verification of software and user interfaces
• Black-box testing of large software systems

Past Projects

Verisoft / Verisoft XT