Martin Escardo
Computer Scientist at University of Birmingham
United Kingdom
Summary
🤩
RockstarMartin Escardo is a UK-based computer scientist and professor of theoretical computer science with 13 years of experience bridging academic research and practical problem solving. He brings deep theoretical expertise to complex computational problems, likely informed by a steady record of teaching and research rather than typical industry roles. His profile suggests strengths in rigorous algorithmic thinking and formal methods, making him adept at clarifying hard technical concepts and mentoring others. Although not focused on public GitHub activity, his academic title implies contributions to the foundations of computing that inform reliable, provable solutions in research or applied settings.
13 years of coding experience
Github Skills (73)
textbook10
agda10
sympy10
topological-data-analysis10
category-theory10
combinatorics10
dependent-types10
theory10
computer-algebra-system10
markov-decision-processes10
polyhedra10
coq10
idris10
homotopy-type-theory10
type-theory10
Programming languages (7)
Github contributions (5)
martinescardo/HoTTEST-Summer-School
Jun 2022 - Oct 2022
HoTTEST Summer School materials
Contributions:119 commits, 6 PRs, 54 pushes in 4 months
summer-schoolpythonsummer
martinescardo/TypeTopology
Feb 2018 - Jan 2023
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Contributions:311 reviews, 2346 commits, 240 PRs in 5 years
homotopy-type-theorytype-theorysat-solverprototypeagda
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.