Adrián Mateo
Teaching Assistant For Discrete Mathematics And Probability
City of Edinburgh, Scotland, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolAdrián Mateo is a PhD student in mathematics at the University of Edinburgh specializing in category theory, with seven years of combined teaching, research, and software experience. He currently teaches discrete mathematics and probability while contributing to formal mathematics projects—most notably implementing and refactoring the Lean 3 mathlib components around number theory and group theory. His background blends rigorous pure-math research (MASt Cambridge, First Class in CS & Math) with practical tooling experience, having formalized weak omega-categories in Isabelle/HOL during a Cambridge research internship. He also helped scale mathematical assessment tools as an education technologies intern, adapting STACK questions and interactive JSXGraph content for open educational use. Comfortable bridging abstract theory and formal proof engineering, Adrián brings a rare mix of theorem-proving fluency and hands-on teaching that benefits both research and curriculum development.
7 years of coding experience
International School SEK AlboranPhD Mathematics, PhD Mathematics at Carnegie Trust for the Universities of ScotlandDoctor of Philosophy - PhD, Mathematics, Doctor of Philosophy - PhD, Mathematics at The University of EdinburghMASt in Pure Mathematics, Mathematics, Distinction, MASt in Pure Mathematics, Mathematics, Distinction at University of CambridgeProfessional Degree in Piano and Composition, Professional Degree in Piano and Composition at Professional Conservatory of El Ejido
English, Spanish, German
Github Skills (9)
mathematics10
theorem-proving10
proofs10
g10
proof10
math10
leanback10
cgroups10
maths10
Programming languages (6)
Github contributions (5)
leanprover-community/mathlib3
Oct 2020 - Apr 2021
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:15 reviews, 17 commits, 9 PRs in 5 months
Contributions summary:Adrián primarily contributed to the Lean 3 mathematical components library by implementing and refining mathematical theorems and lemmas. Their work involved adding new functionalities related to number theory, specifically concerning square roots and subgroups. The user refactored existing code by renaming lemmas to conform with naming conventions and proving mathematical properties related to group theory. They demonstrated a strong understanding of formal mathematics and theorem proving.
maththeorem-provingcomponents-librarymathematicsjavascript
AdrianDoM/IMOinLEAN
Nov 2020 - Nov 2021
Contributions:75 pushes, 2 branches in 1 year
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.