MrJoseph Hua
Curriculum Development Teaching Fellow Formalisation
Department of Mathematics - Faculty of Natural Sciences
- Curriculum Development Teaching Fellow FormalisationDepartment of Mathematics - Faculty of Natural Sciences
RESEARCH
- Formalisation of mathematics in proof assistants
- The semantics of type theory
- Logic
- Category theory