Research Areas

Network Simulation

Network simulation aims to help operators try out new designs on their network withoutreally touching the network. It achieves this by creating a twin of the network with some level of abstraction. Depending on the abstraction level, it can either be pure simulation using customized codes to mimic the behaviors of real networks, or emulation, which uses the images or libraries of real devices.

Network Synthesis

Network synthesis aims to automatically generate network configurations or specification, without or with little help from human operators. This is in a similar spirit with hardware synthesis and program synthesis. With the help of formal methods, and the emergence of LLM, we have reasons to believe that a network can autonomously run just like a self-driving car.

Network Verification

Network verification is a revolutional approach to operate a network: it uses formal methods to prove the network is always in a correct state. In this way, operators can prevent misconfigurations from causing outages.