Ha obtenido la primera plaza en SMT Competition 2018, categoría QF NIRA (aritmética de enteros mixtos reales no lineales sin cuantificador) y Concurso de planificación y ejecución para robots de logística en simulación 2018, entre otros.  Ha trabajado en diferentes proyectos como el de la investigación con Ford sobre la Verificación de seguridad para sistemas automotrices mixtos discretos y continuos, también fue la coordinadora del proyecto DFG, sobre el análisis de accesibilidad de sistemas híbridos utilizando aproximaciones geométricas.

Actualmente es profesora y doctora en informática RWTH Aachen University.Jefa de investigación sobre la teoría de sistemas hibridos. Estudió informática en la Christian-Albrechts-University of Kiel en Alemania y obtuvo el doctorado en la Universidad de Leiden, Países Bajos.