update research

content/zh/research/Simulation.md

@@ -6,7 +6,7 @@ type = 'research'
 layout = 'research'
 label = "Simulation"
 
-intro = """Networks like WANs and DCNs carry production traffic, and it is risky to make a change to real networks. It is hard to evaluate and optimized the performance of traing task, due to the high cost of building a large DCNs with 10K GPUs. A preferrable way is to create a twin of the network with some level of abstraction, and try out new ideas on top of it to anticipate the effects on real networks. That is what network simulation is going to do. It can either pure simulation, which use customized codes to mimic the behaviors of real networks, or emulation, which uses vendor images or libraries which have exactly the same behaviors with real devices. We study both simulation and emulation for large-scale networks with distributed and parallel computing techniques"""
+intro = """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."""
 
 detailedIntro = [
   "Networks like WANs and DCNs carry production traffic, and it is risky to make a change to real networks.",

content/zh/research/Synthesis.md

@@ -6,7 +6,7 @@ type = 'research'
 layout = 'research'
 label = "Synthesis"
 
-intro = """Correctly configuring a large network is a challenging and risky task for human operators. So we ask whether we can automatically generate the network configs, just like automatic generation of programs? We tentatively think this is possible, given the success of hardware synthesis and program synthesis, and of course the emergence of LLM. In this direction, we will try to adapt those techniques to the synthesize network configs or repair plans, so that a network can autonomously run and heal without any human."""
+intro = """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."""
 
 detailedIntro = [
   "Correctly configuring a large network is a challenging and risky task for human operators.",

content/zh/research/Verification.md

@@ -6,7 +6,7 @@ type = 'research'
 layout = 'research'
 label = "Verification"
 
-intro = """Network is a critical infrastructure but configuring it is rather complex and easily goes wrong. Traditionally, after a network error is detected, operators use measurement tools to localize the root causes. Such a post-effect approach puts networks at risks of unpredictable down time. Network verification is a revolutional approach: it uses formal methods to either prove the correctness of configurations, or finds counterexamples that violate correctness properties, such that potential outages can be prevented"""
+intro = """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."""
 
 detailedIntro = [
   "Network is a critical infrastructure but configuring it is rather complex and easily goes wrong.",