Nick Hu

Nick Hu is a Doctoral Student (DPhil candidate) at Balliol College and a College Lecturer at St Catherine's College, both within the University of Oxford. He is affiliated with the Department of Computer Science, focusing on research in higher category theory and its applications to theoretical computer science. His work includes foundational contributions to the proof assistant homotopy.io and the study of diagrammatic methods in formal category theory.

Education: He holds an undergraduate degree in Computer Science and an MSc in Mathematics and Foundations of Computer Science, both from St Catherine's College, Oxford. Currently, he pursues a DPhil in Computer Science at Balliol College.

Teaching: He has served as a tutor for courses such as Algorithms and Data Structures, Categorical Quantum Mechanics, and Computer-Aided Formal Verification. He also conducts admissions interviews for undergraduate Computer Science programs.

Research Interests: His primary focus includes higher category theory, traced monoidal categories, and their applications to quantum programming languages. He explores diagrammatic reasoning and formal methods within these domains.