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