- Differential Privacy
- Programming Language and Type Systems
- Formal Verifications
I am now working on two topics:
- A programming language for adaptive data analysis based on probabilistic programs, In this language the type information is used to guarantee a confidence interval on the output based on the rounds of adaptivity of the program.
- An automatic formal verification tool for the differentially private algorithms implemented in floating point computation.
The previous topics I was working on:
- An improved mechanism for Bayesian inference, by calibrating noise to the sensitivity of a metric over distributions.
- Short talk -- Type System in Adaptive Data Analysis -- EGLPLS 2019 (in Cornell University in Ithaca, NY, USA)[PDF]
- Poster session -- Tailoring Differentially Private Bayesian Inference to Distance Between Distributions -- TPDP of CCS 2018 (in Toronto, Canada)[PDF]
- New England Systems Verification Day Oct.18, 2019 (in MIT, MA, USA)
- OPLSS-- Foundations of Probabilistic Programming and Security -- Jun 17 - 29, 2019 (in University of Oregon, OR, USA)
- POPL Jan. 13-19, 2019 (in Cascais, Portugal)
- PLWM of POPL 2019 (in Portugal)
- Teaching Assistant for CS 320, Concepts of Programming Languages, 2019 Fall - Boston Univeristy course page
- Teaching Assistant for CSE 305, Introduction to Programming Languages, 2019 Spring - Univeristy at Buffalo course page
- Teaching Assistant for CSE 305, Introduction to Programming Languages, 2018 Fall - Univeristy at Buffalo course page
- Teaching Assistant for CSE 305, Introduction to Programming Languages, 2018 Spring - Univeristy at Buffalo course page
- Teaching Assistant for CSE 542, Software Engineer Concept, 2017 Fall - Univeristy at Buffalo course page
- September, 2019 - present, Ph.D. candidate in Department of Computer Science, Boston University, advised by Marco Gaboardi
- September, 2017 - May, 2019, Ph.D. student in Department of Computer Science and Engineering, University at Buffalo, SUNY, advised by Marco Gaboardi
- September, 2013 - June, 2017, B.A. in Department of Information Science, Central University of Economics and Finance.
- September 07, 1996 Born in China.