Biography

I am a fifth-year PhD student in Computer Science at Carnegie Mellon University (CMU). I am advised by Prof. Jan Hoffmann and collaborate with Prof. Feras Saad. I have been working on type-based resource analysis of programs and probabilistic programming. Currently, I investigate how to incorporate Bayesian inference into type-based resource analysis of programs. I also work on a type system for checking the soundness of programmable inference in probabilistic programming, together with Prof. Di Wang at Peking University.

Before coming to CMU, I obtained a B.A. and an M.Sc. in Computer Science from the University of Oxford. For my B.A., I did a research project on higher-order constrained Horn clauses under the supervision of Prof. Luke Ong and Dr. Steven Ramsay. For my M.Sc., I worked with Prof. Marta Kwiatkowska and Dr. Wenjie Ruan, investigating how the choice of loss functions used during training affects the robustness of deep neural networks.