Alex Rutar
alexrutar
Mathematics researcher at the University of Jyväskylä
University of Jyväskylä Jyväskylä, Finland
Junyan Xu
alreadydone
Postdoc in math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Universität Heidelberg Heidelberg / Shenzhen
David Kurniadi Angdinata
Multramate
UEA / LSGNT / Cambridge / Imperial
@ImperialCollegeLondon London, United Kingdom
Joe Edwards
Joseph-Edwards
Third year PhD student studying maths at the University of St Andrews.
University of St Andrews