Skip to content

Di Wang

  • Carnegie Mellon University
  • 1Followers
  • 1Following

Research interests

constraint-based program analysisresource analysisprogram synthesistype systemssummary-based program analysisprobabilistic programming languagessoftware model checkingabstract interpretationprogramming languages

Followers (1)

  • Hao Tang

    Hao Tang

Following (1)

  • Hao Tang

    Hao Tang

Education

Ph.D. in Computer Science

Carnegie Mellon University

August 2017 - Present

B.S. in Computer Science

Peking University

August 2013 - July 2017(4 years)