Ralph Matthes
Computer Scientist at IRIT, Université de Toulouse, CNRS, Toulouse INP, UT3
Toulouse, Occitania, France
Summary
🤩
RockstarRalph Matthes is a computer scientist based in Toulouse with 11 years of experience bridging mathematical rigor and practical formalization in computer science. Trained initially in mathematics at LMU München before transitioning to computer science, he has pursued research roles at CNRS in France, bringing an academic depth to software development. His open-source work on the UniMath Coq library focuses on univalent foundations and the formalization of category-theoretic constructions, including novel generalizations of actions over monoidal categories and tooling to clarify those constructions. Ralph combines research-grade formal methods with backend development skills, making him adept at turning abstract mathematical concepts into maintainable, reusable formal artifacts. An understated strength is his ability to lift complex theoretical ideas through strong functors into concrete library modules that aid both proof engineers and mathematicians.
11 years of coding experience
Github Skills (6)
category-theory10
mathematics10
coq10
math10
coq-library10
foundation10
Programming languages (5)
Github contributions (5)
UniMath/UniMath
Apr 2015 - Dec 2022
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 release, 246 reviews, 841 commits in 7 years 8 months
Contributions summary:Ralph is focused on formalizing mathematics using the univalent point of view within the Coq library. They contributed to the generalisation of actions over monoidal categories, including the construction of actions on themselves and the lifting of actions through strong monoidal functors. Additionally, they introduced a new file with constructions of actions to improve clarity and understanding.
mathematicscoqunimathcoq-libraryfoundations
rmatthes/breadthfirstalahofmann
Nov 2018 - Feb 2022
Breadth-first traversal following a proposal of Martin Hofmann (1993-1995)
Contributions:3 PRs, 11 pushes, 4 branches in 3 years 3 months
traversalbreadthfollowing
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.