Emily Riehl
Kelly Miller Professor at The Johns Hopkins University
Baltimore, Maryland, United States
Summary
🤩
Rockstar🎓
Top SchoolEmily Riehl is a mathematician and educator serving as the Kelly Miller Professor at Johns Hopkins University with a decade-plus academic trajectory from assistant to endowed professor. She earned a PhD from the University of Chicago after advanced studies at Cambridge and a BA from Harvard, and brings deep expertise in pure mathematics informed by postdoctoral work at Harvard. Her career blends research, teaching, and mentorship in Baltimore, with a sustained record of progressing through faculty ranks since 2015. Colleagues know her for translating abstract theory into accessible exposition—her personal site showcases curricular and research materials used beyond her home institution. Although primarily an academic, she maintains an active public profile and resources that support broader learning communities. Her work signals a commitment to both rigorous scholarship and impactful mathematics communication.
6 years of coding experience
7 years of employment as a software developer
Masters of Advanced Study in Mathematics, Masters of Advanced Study in Mathematics at University of CambridgeBachelor's degree Mathematics, Bachelor's degree Mathematics at Harvard UniversityDoctor of Philosophy - PhD Mathematics, Doctor of Philosophy - PhD Mathematics at University of Chicago
Github Skills (34)
computer-algebra10
in-progress10
mathematics10
computer-algebra-system10
theorem-proving10
math9
homotopy-type-theory7
combinatorics7
jekyll7
theory7
number-theory7
category-theory7
type-theory6
polyhedra6
agda6
Programming languages (9)
Github contributions (5)
rzk-lang/sHoTT
Apr 2023 - Oct 2024
Contributions:89 reviews, 74 PRs, 124 pushes in 1 year 5 months
emilyriehl/infinity-cosmos
Aug 2024 - Mar 2025
A blueprint for a formalization of infinity-cosmos theory in Lean.
Contributions:13 reviews, 31 PRs, 164 pushes in 7 months
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.