Research interests

Geometric Algebra, Formalized Mathematics, Mathematical Software

Role and responsibilities

Graduated in 2017 with a BA and MEng in Engineering at Cambridge, specializing in information and control engineering.

Parcipant in the penultimate year of the Cambridge-MIT exchange.

Steering council member and maintainer for NumPy.