Mitchell Riley
Salt Lake City Metropolitan Area United States
Summary
👤
Senior🎓
Top SchoolMitchell Riley is a Support Engineer and neuroscientist with 17 years of research and technical experience, now translating deep experimental rigor into industry solutions from Salt Lake City. He has led multi-institutional projects, produced a strong publication and presentation record, and built data pipelines and analysis tools (MATLAB, imaging workflows) that improved reproducibility and remote access across labs. His work spans hands-on surgical and electrophysiology expertise with non-human primates and rodents, grant development, and laboratory systems design, giving him a rare blend of wet-lab, analytics, and operational skills. On GitHub he contributes to formalized mathematics in Coq (UniMath), demonstrating disciplined, formal reasoning applied to backend development. Colleagues rely on him to bridge complex experimental needs with pragmatic engineering and regulatory-ready documentation.
17 years of coding experience
Doctor of Philosophy - PhD, Neuroscience, Doctor of Philosophy - PhD, Neuroscience at Wake Forest University Graduate School
Github Skills (6)
category-theory10
coq10
coq-library10
foundation10
math9
mathematics9
Programming languages (9)
Github contributions (5)
UniMath/UniMath
Mar 2016 - Oct 2016
This coq 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:90 commits, 1 PR, 9 comments in 7 months
Contributions summary:Mitchell's commits focus on formalizing mathematical concepts within the Coq proof assistant, as suggested by the repository description. The primary focus is on defining prebicategories, a type of mathematical structure within the UniMath library. Contributions include the creation of data structures, definitions, and lemmas related to category theory concepts such as functors, associativity, and units. The changes showcase the user's work in developing foundational elements within the UniMath library.
homotopy-type-theorycoq-libraryfoundationstheorem-provingcomputer-algebra-system
mvr/abcbutnotshit
Mar 2018 - Sep 2022
Contributions:1 PR, 5 pushes, 1 branch in 4 years 6 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.