معرفی
Shengyi Wang is an Associate Research Scholar in the Department of Computer Science at Princeton University, School of Engineering and Applied Science. He is actively engaged in research on formal verification, programming languages, and mechanized reasoning, with a focus on verifying concurrent systems, C programs, and network packet processing.
Research Interests: His work centers on foundational and compositional verification of low-level systems using interactive theorem proving. Key areas include separation logic, concurrency, data structure invariants, and certified systems programming. He applies these to real-world challenges in systems security and network correctness.
Recent Research Trends: His recent publications (2020–2024) show a strong trajectory in verifying complex systems such as concurrent C programs, P4-based packet processors, and enclave filesystems. The work consistently uses Coq and mechanized proofs to ensure correctness, emphasizing scalability and compositional techniques.
Scientific Awards:
- No awards or fellowships are mentioned in the provided text.
Advising and Grants:
- No formal students or advisees are listed.
- No grants or funding sources are explicitly mentioned.
Labs and Teams: While not explicitly stated, his collaborations with researchers like Andrew W. Appel, Lennart Beringer, and William Mansky suggest involvement in Princeton’s formal methods and systems verification research group, likely associated with the Department of Computer Science.
