Experiência
Minha trajetória acadêmica e profissional.
Professor Associado
Professor Associado em Ciência da Computação Teórica na Faculdade de Ciência e Tecnologia. Lecionando na EPISEN (Université Paris-Est Créteil) e conduzindo pesquisa em métodos formais e cibersegurança.
Pesquisador de Pós-Doutorado
Pesquisa em Cibersegurança e Métodos Formais. 100% de dedicação à pesquisa. Supervisionado pelos Profs. Jean Leneutre e Vadim Malvone no grupo de Sistemas Embarcados Autônomos e Críticos (ACES) do laboratório LTCI.
Pesquisador de Pós-Doutorado
Pesquisa sobre Escalabilidade de Variabilidade. 100% de dedicação à pesquisa. Supervisionado pelo Prof. Pierre-Yves Schobbens. Financiado pela Universidade de Namur.
Engenheiro de Pesquisa
Engenheiro de Pesquisa no projeto D-DAMS. 100% de dedicação à pesquisa. Financiado pela Região Valona (Bélgica).
Engenheiro de Pesquisa
Engenheiro de Pesquisa no projeto TPA (Teoria e Prática de Autômatos e Lógica). 100% de dedicação à pesquisa. Financiado pela Região Valona (Bélgica).
Doutorado em Ciência da Computação
Tese: Modelagem e Verificação de Sistemas Distribuídos e de Tempo Real usando Autômatos Temporizados com Relógios Parcialmente Independentes. Laboratório: Namur Digital Institute (PReCISE/FOCUS/NADI). Orientador: Prof. Pierre-Yves Schobbens. Defendida em Namur, abril de 2023.
Mestrado em Ciência da Computação
Mestrado em Ciência da Computação na Universidad del Valle, Colômbia.