Di Wang

Registered user since Fri 20 Apr 2018

Name:Di Wang
Bio:

I am an Assistant Professor at Peking University. I received my Ph.D. from Carnegie Mellon University under the supervision of Prof. Jan Hoffmann. My research focuses are programming languages, quantitative verification, and probabilistic programming; my broader interests include type theory, program synthesis, concurrency, and Bayesian inference.

I completed my undergraduate at Peking University where I worked with Prof. Yingfei Xiong on summarization techniques to analyze programs sharing big libraries.

Country:China
Affiliation:Peking University
Research interests:Programming Languages; Quantitative Verification; Probabilistic Programming

Contributions

Show activities from other conferences

POPL 2023-profile
View general profile