Di Wang
Assistant Professor at Peking University
Beijing, China
Summary
🤩
Rockstar🎓
Top SchoolDi Wang is an Assistant Professor at Peking University with 11 years of experience bridging programming languages research and practical static analysis. He holds a PhD from Carnegie Mellon where his work spanned quantitative verification, probabilistic programming, and type-theoretic foundations, and he has interned at MIT, UW–Madison, and Facebook/Novi. He contributed to Facebook’s MIRAI Rust abstract interpreter, implementing a sophisticated tag domain and transfer functions to improve program-property tracking—an indicator of deep systems and formal-methods expertise applied to real-world tooling. Based in Beijing, he is actively exploring roles in both academia and industry, combining rigorous theoretical background with hands-on experience building static-analysis infrastructure.
11 years of coding experience
High School Diploma, High School Diploma at Chengdu NO.7 High School 成都市第七中学Bachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at Peking UniversityDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Carnegie Mellon University
Github Skills (8)
abstract-interpretation10
rust10
static-analysis10
data-structure9
computer-engineering9
algorithm9
data-structures9
algorithms9
Programming languages (7)
Github contributions (5)
facebookexperimental/MIRAI
May 2020 - Aug 2020
Rust mid-level IR Abstract Interpreter
Role in this project:
Back-end Developer
Back-end DeveloperContributions:23 commits, 44 PRs, 16 pushes in 3 months
Contributions summary:Di primarily focused on developing and improving the "tag domain" within the Rust-based abstract interpreter. They implemented transfer functions for the tag domain, introduced new expression kinds related to tagging, and integrated weak updates for tags. The contributions involved significant changes to the `checker` directory, including the `abstract_value`, `expression`, and `body_visitor` modules, indicating a deep understanding of the core logic for the project. These improvements appear to enhance the analysis capabilities of the interpreter, enabling better tracking and verification of program properties.
rustinterpretermid
stonebuddha/sundries
Feb 2018 - Jan 2023
Contributions:424 commits, 2 PRs, 457 pushes in 5 years
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.