From 3df695ff92ad3324b67ed72b055b663700e4ce02 Mon Sep 17 00:00:00 2001 From: Mingwei Zheng Date: Mon, 20 May 2024 23:25:10 -0700 Subject: [PATCH] Update about.md --- _pages/about.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/_pages/about.md b/_pages/about.md index 425c7cd2557ea..b43ab05a238e4 100644 --- a/_pages/about.md +++ b/_pages/about.md @@ -12,8 +12,7 @@ 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) - +* May 2024-Aug. 2024 Research intern at [Microsoft Research](https://www.microsoft.com/en-us/research/), Redmond (the [RiSE](https://www.microsoft.com/en-us/research/group/research-software-engineering-rise/) group) ## Publication - [**ParDiff: Practical Static Differential Analysis of Network Protocol Parsers**](/files/oopsla.pdf)