Tom Rousseaux

Tom Rousseaux is a teaching assistant at ICTEAM, UCLouvain and a PhD student in the INL. He works at the intersection of formal methods and network protocol engineering, focusing on making networked systems safer. One of his major contributions is the Network Simulator-centric Compositional Testing (NSCT) methodology, which unifies model-based testing with network simulation to uncover correctness issues in real protocol implementations. He is currently working on the improvement of NSCT with mixed emulation-simulation techniques.