Assistant Professor Di Wang joined Programming Languages Lab in September 2022. Di Wang received his BSc in Computer Science from Peking University in 2017 and his Ph.D. in Computer Science from Carnegie Mellon University in 2022. Di Wang focuses on the theoretical foundations and interdisciplinary applications of programming languages, especially formal verification, program analysis, type theory, and probabilistic programming. Di Wang aims to develop universal and easy-to-use abstractions and paradigms for programming safe and efficient software, and programming-language-level integrations to automatically analyze, optimize, and synthesize programs. During his Ph.D., Di Wang published multiple papers in POPL, PLDI, and ICFP; according to CSRankings, the number of his published papers in top-tier programming-language conferences as a Ph.D. student ranks 2nd among graduated Ph.D. students in recent five years; his work on quantitative program analysis has been deemed to be prominent, elegant, and systematic by multiple researchers.

Currently, Di Wang is working on resource-safe system programming, programmable Bayesian inference, quantitative program analysis, and proof-oriented programming languages. Di Wang welcomes students interested in programming languages to communicate and collaborate. More information about Di Wang can be found on his personal website: https://stonebuddha.github.io/.