Maaz
mmaaz-git
Doing my PhD in Operations Research at the University of Toronto.
Toronto, ON, Canada
Imperial College London
ImperialCollegeLondon
Imperial College London main code repository
United Kingdom
Kaiyu Yang
yangky11
Research Scientist @ Meta, FAIR
Meta Fundamental AI Research (FAIR) New York, NY
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
Zhaoyu Li (李照宇)
zhaoyu-li
CS Ph.D. student at the University of Toronto
University of Toronto Toronto, Canada
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Manuel Eberl
pruvisto
Postdoc at University of Innsbruck. Mostly working in formalisation of mathematics and the automation thereof. Also dabbles in Haskell occasionally.
University of Innsbruck Innsbruck
Nick Higham
higham
Royal Society Research Professor & Professor of Applied Mathematics, Univ. of Manchester. Researching numerical linear algebra and numerical algorithms.
The University of Manchester Manchester, UK
Kim-Chuan Toh
Kim-ChuanToh
Professor at Department of Mathematics,
National University of Singapore
National University of Singapore Singapore