Elias Judin
eliasjudin
mathematician. research in categorical algebra, galois theories. Lean 4 engineer
University of Cape Town Cape Town, South Africa
Walter Schulze
awalterschulze
Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt.
Interests: LeanProver, Coq, Brzozowski's derivatives.
Stellenbosch University Stevenage, UK
Mohammed Sharukh A
MohammedSharukh
Maths Teacher @98thPercentile | Ex-Maths Teacher @planetspark | Pentab User 🖋💻 | EdTech | AIED | AI/ML/DL/GNNs | IIT Palakkad '22 | MSc Mathematics
PlanetSpark Kerala, India
Aadam Haq
AadamHaq
Graduate GenAI Engineer/Data Scientist. Masters in Mathematics @ Warwick University. Interest in ML, LLMs, Data Science and Quantum ML
NatWest Group Edinburgh
Francesco Minnocci
BachoSeven
Graduated UWCAD '19, currently Undergrad Math Student at Unipi
PHC Pisa, Italy
Huỳnh Trần Khanh
huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
@rocq-community Vietnam
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