Registered user since Tue 2 Jul 2019
I’m a 4th-year PhD candidate at Brown University, advised by Shriram Krishnamurthi, with a research focus on Programming Languages and Computing Education. During my PhD, I interned with the compiler team at RelationalAI, where I worked on optimization and the design and implementation of higher-order relations.
Previously, I earned a master’s degree from Indiana University, where I worked on Gradual Typing with Jeremy Siek and Relational Programming with Dan Friedman. As an undergraduate at Shanghai Jiao Tong University, I conducted research in Bioinformatics with Chaochun Wei.
I’m seeking industrial roles that combine programming languages, statistics, and education, with availability starting mid-2025.
Contributions