My research interests lie at the intersection of Programming Languages, Formal Methods, Verification, Synthesis, and Software Engineering.

I am looking for full-time research positions, both in academia and industry. Please find my application materials below.

Application Materials

1. 1.CV
   

2. 2.Research Statement
   

3. 3.Teaching Statement
   

4. 4.Publication List