Daniela Ferreriro

Daniela Ferreriro


Sobre mí

Soy graduada en Matemáticas e Informática por la Universidad Politécnica de Madrid, donde actualmente curso el Doctorado en Software, Sistemas y Computación.
Desde 2021 desarrollo mi actividad investigadora en el Instituto IMDEA Software, dentro del grupo CLIP (Laboratorio de Lógica Computacional, Lenguajes, Implementación y Paralelismo), centrada en la verificación formal y testing de programas, especialmente en entornos de programación lógica. En particular, mi tesis doctoral trata sobre cómo mejorar y validar herramientas complejas como son los analizadores estáticos.
Fuera del ámbito académico me encanta correr, en particular participar en el cross universitario, y además soy una gran aficionada a la Fórmula 1.

Más información: