I am a PhD student at the School of Computer Science,
UC Santa Barbara.
My PhD advisor is Yu Feng.
I am also glad to be guided by Yanju Chen at UC Santa Barbara
and Isil Dillig at UT Austin.
Before attending UCSB, I received my undergraduate degree from Tsinghua University
and had a two-year industry experience at Megvii
and Veridise, focusing on using academic techniques to solve real world problems.
I am focusing on helping complex software systems,
such as blockchain, zero-knowledge proofs, and operating systems,
become more reliable and stable. I am also interested in combing logical
reasoning and nerual reasoning and apply those methods in practice.
Here are some keywords about my research:
- Programming Languages
- Program Analysis
- Program Synthesis
- Zero-Knowledge Proof