Projetos
Projetos
Projetos de pesquisa e desenvolvimento nos quais participei.
2024 - 2027
TAPAS
Pesquisador Principal
Análise Automatizada Confiável de Protocolos para Segurança. Desenvolvendo ferramentas avançadas de métodos formais para verificação automatizada de protocolos de segurança em sistemas distribuídos.
ANR (French National Research Agency)Saiba mais
2023 - 2026
Scaling Up Variability
Co-Pesquisador
Enfrentando o desafio da variabilidade em sistemas de software de larga escala por meio de técnicas de modelagem e análise formal.
EU Horizon EuropeSaiba mais
2020 - 2023
SecureIoT
Pesquisador
Análise de segurança e verificação para dispositivos e protocolos da Internet das Coisas. Desenvolveu técnicas inovadoras para detectar vulnerabilidades em ambientes restritos.
Belgian Science Foundation