Badges
Certifications
Work Experience
stonebuddha has not updated employment details yet.
Education
Carnegie Mellon University, Pittsburgh
Computer Science, PhD•  2017 - 2023
Peking University, Peking
Computer Science, BS•  2013 - 2017
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, type systems, static resource analysis, and program synthesis.
stonebuddha has not updated employment details yet.
Computer Science, PhD•  2017 - 2023
Computer Science, BS•  2013 - 2017
Seems like cookies are disabled on this browser, please enable them to open this website