portrait.
Han Xu


Department of Computer Science, Princeton University

Email: hx3501 at princeton.edu

[CV]

About

I am a second-year Ph.D. working on programming languages, advised by David Walker at Princeton. Previously, I was an undergraduate at Peking University, advised by Zhenjiang Hu.

My research interests span many topics. I have worked on differential calculus and intersection types in the past, and I am currently working on network programming languages, resource analysis and functional programming. I am very fortunate to work with some of the best researchers in these fields.


Publications

Miscellaneous

I am a big fan of Japanese Anime. I passed the JLPT N1 test at July 2023! You may be able to find me on some ACG websites.

I enjoy doing sports. Recently, I have been keen on swimming.