After a master in Artificial Intelligence and Network at UCLouvain, I began my PhD in 2020 under the supervision of Pr. Axel Legay. I work at the intersection of Formal Verification and Network, applying formal methods to modern network protocol implementations.