Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Di Wang

Registered user since Fri 20 Apr 2018

Name:Di Wang
Bio:

I am a second-year doctoral student in computer science at Carnegie Mellon University. I am advised by Prof. Jan Hoffmann. I am broadly interested in programming languages and software engineering, especially probabilistic programming, quantitative program analysis, higher type theory, and program synthesis.

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

Country:United States
Affiliation:Carnegie Mellon University
Research interests:Probabilistic programming, Quantitative program analysis, Higher type theory, Program synthesis

Contributions

Show activities from other conferences

ICFP 2020-profile
View general profile