PhD student in University of Nottingham
HOME REFERENCE GLOSSARY
I am a PhD student supervised jointly by Thorsten Altenkirch and Thomas Anberrée. I am currently interested in Type Theory, Category Theory, Homotopy Type Theory, and functional programming languages especially dependently type programming languages like Agda. I participated the Univalent Foundations Program during Feb to April 2013 in Institute of Advanced Study in Princeton. To learn more about Homotopy Type Theory check this book.
I am from a "small" city called Jinhua, which is in Zhejiang Province of China
School of Computer Science and Information Technology
The University Of Nottingham