Proyectos
Proyectos
Proyectos de investigación y desarrollo en los que he participado.
2024 - 2027
TAPAS
Investigador Principal
Análisis Automatizado de Protocolos Confiables para Seguridad. Desarrollando herramientas avanzadas de métodos formales para la verificación automatizada de protocolos de seguridad en sistemas distribuidos.
ANR (French National Research Agency)Leer más
2023 - 2026
Scaling Up Variability
Co-Investigador
Abordando el desafío de la variabilidad en sistemas de software a gran escala a través de técnicas de modelado y análisis formal.
EU Horizon EuropeLeer más
2020 - 2023
SecureIoT
Investigador
Análisis de seguridad y verificación para dispositivos y protocolos del Internet de las Cosas. Desarrolló técnicas novedosas para detectar vulnerabilidades en entornos restringidos.
Belgian Science Foundation