I’ve come to the realization that the little free time I have is insufficient for maintaining a blog and keeping one is nothing but making a false promise, so I converted the site to this static page. (To those coming here to check how I’m doing–thanks so much for your caring. I’m doing pretty well! Just don’t have time for a blog, unfortunately…)

If you came across this site by chance, well, hello, my name is Yuchen (Charles) Fu and I’m currently an undergraduate student studying math at MIT. Below are some things I’ve done/written that I thought I should share online. Feel free to contact me at yfu at mit dot edu.


  • Title: A Family of Finite-dimensional Representations of Generalized Double Affine Hecke Algebras of Higher Rank
    Author(s): Yuchen Fu, Seth Shelley-Abrahamson
    In SIGMA 12 (2016), 055

  • Title: A Compositional Semantics for Verified Separate Compilation and Linking
    Author(s): Tahina Ramananandro, Zhong Shao, Shu-Chun Weng, Jérémie Koenig, and Yuchen Fu
    In Proc. 4th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP’15), Mumbia, India, pages 3-14, January 2015.
    Paper and associated Coq proof available here


I take full responsibility for errors in these notes.