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: