Update about.md

zmw12306 · May 21, 2024 · a7eea04 · a7eea04
1 parent 34cf1d2
commit a7eea04
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/_pages/about.md b/_pages/about.md
@@ -11,6 +11,9 @@ redirect_from:
 
 * My research interests are program analysis, software testing, and formal methods.
 
+## Experience
+* May 2024-Aug. 2024 Research intern at Microsoft Research, Redmond (the RiSE group)
+
 ## Publication
 
 - [**ParDiff: Practical Static Differential Analysis of Network Protocol Parsers**](/files/oopsla.pdf)