News

I graduated with a PhD in Computer Science
Jun 14, 2024
I am a top reviewer at NeurIPS 2023
Nov 19, 2023
I give a talk at [MWPLS 2023](https://mwpls2023.engin.umich.edu).
Oct 6, 2023
I give a joint talk with my advisor Aws at [WFVML 23](https://www.ml-verification.com/invited-speakers).
Jul 28, 2023
I start my summer internship at AWS CodeWhisperer.
May 22, 2023
I pass my Ph.D. Preliminary Exam.
May 9, 2023