xuan-gottfried YANG

topology(with priority stable homotopy theory) and its interface with Arithmetic geometry

univalent homotopy type theory

categorical logic

mathematical linguistics

theoretical computer science