philnguyen.github.io

View on GitHub

Phúc (Phil) Nguyễn

I’m a 5th year Ph.D. student working with David Van Horn and Sam Tobin-Hochstadt on static contract verification for higher-order programs. Resume

Publications