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. You can find my CV here. Feel free to contact me at yfu at mit dot edu.
Papers

Title: The ConleyZehnder Index of Brownian Paths on Sp(2, R)
Author(s): Yuchen Fu
arXiv

Title: A Family of Finitedimensional Representations of Generalized Double Affine Hecke Algebras of Higher Rank
Author(s): Yuchen Fu, Seth ShelleyAbrahamson
In SIGMA 12 (2016), 055

Title: A Compositional Semantics for Verified Separate Compilation and Linking
Author(s): Tahina Ramananandro, Zhong Shao, ShuChun Weng, Jérémie Koenig, and Yuchen Fu
In Proc. 4th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP’15), Mumbia, India, pages 314, January 2015.
Paper and associated Coq proof available here
Notes
I take full responsibility for errors in these notes.
 18.966 (Differential Topology) (Last update: May 2016)
MIT, Spring 2016, Prof. Paul Seidel
 18.725 (Algebraic Geometry) (Last update: May 2016)
MIT, Fall 2015, Prof. Roman Bezrukavnikov
 Math 231br (Algebraic Topology) (Last update: August 2015)
Harvard, Spring 2015, Prof. Michael Hopkins