Ha obtingut el primer lloc al SMT Competition 2018, categoría QF NIRA (aritmètica de sencers mixtes reals no lineals sense quantificador) i Concurs de planificació i execució per robots de logística en simulació 2018, entre altres.

Ha treballat en diferentes projectes com el de la investigació amb Ford sobre la Verificació de seguretat per a sistemes automotrius mixtes discrets i continus, també va ser la coordinadora del projecte DFG, sobre l'anàlisi de accesibilitat de sistemas híbrits utilizant aproximacions geomètriques. Actualment és professora i doctora en informàtica RWTH Aachen University Cap d'investigació sobre la teoria de sistemas híbrids. Va estudiar informàtica a Christian-Albrechts-University of Kiel a Alemania i va obtenir el doctorat a la Universitat de Leiden, Països Baixos.