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