We use cookies to ensure you have the best browsing experience on our website. Please read our cookie policy for more information about how we use cookies.

Di Wang

@stonebuddha

Doctoral Student in Computer Science

China

About

Current

Carnegie Mellon University

Education

Carnegie Mellon University, Pittsburgh

More about me

I am broadly interested in programming languages and software engineering, especially probabilistic programming, quantitative program analysis, higher type theory, and program synthesis.

Verified Skills

Certificate: Problem Solving (Basic)

Certificate: Problem Solving (Advanced)

Certificate: C++ (Basic)

Badges

Problem Solving
CPP

Education

  • Carnegie Mellon University, Pittsburgh

    Computer Science, PhD | 2017 - 2023

  • Peking University, Peking

    Computer Science, BS | 2013 - 2017

Ratings

Submissions

User has not solved any challenges yet.

Contest History

1
0
0

User has not participated in any contests yet.

Discussions

User doesn't have any discussions yet.