Bio

Jiaxuan is mainly interested in mathematics, in particular geometry, topology and the philosophy of mathematics. He works with several mathematicians on various research projects. He is also interested in computer science and philosophy.

Project: Combinatorial-Geometric Properties of Proof Spaces of Structures in Universal Algebra