Joseph Hua | About | Imperial College London

Curriculum Development Teaching Fellow Formalisation

Department of Mathematics - Faculty of Natural Sciences

Curriculum Development Teaching Fellow Formalisation
Department of Mathematics - Faculty of Natural Sciences

joseph.hua18@imperial.ac.uk (opens in a new tab)

https://jlh18.github.io/ (opens in a new tab)⁠

Joseph Hua is a teaching fellow working on curriculum development, focusing on the use of proof assistants in the undergraduate mathematics curriculum. Proof assistants can be used to check that a mathematical proof is written correctly, and can be used as a testing ground for new definitions.

Faculty of Natural Sciences

Curriculum Development Teaching Fellow Formalisati

MrJoseph Hua

BIO

FACULTY

POSITION NAME