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: The Conley-Zehnder Index of Brownian Paths on Sp(2, R)
    Author(s): Yuchen Fu

  • 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.

Some Interesting Links