Matt Keenan
PhD Candidate
Summary
🤩
RockstarMatt Keenan is a PhD candidate in Computer Science at the University of Michigan with seven years of experience in software engineering and research-driven development. He blends rigorous academic training with practical coding know-how, focusing on translating research ideas into reproducible software and experiments. Comfortable across the stack, he brings a thoughtful, metrics-oriented approach to problem solving and a track record of delivering robust prototypes and tools. Matt's background suggests strengths in collaborative research environments and mentoring, often bridging gaps between theory and production-ready implementations. Though relatively early in his career, he pairs deep technical curiosity with the discipline to see projects through from concept to evaluation.
7 years of coding experience
Github Skills (24)
editor10
elm10
reasonml10
ocaml10
reason10
monads10
dune10
lenses10
category-theory10
functional-programming10
homotopy-type-theory10
abstract10
haskell10
opam9
maths7
Programming languages (5)
Github contributions (5)
Negabinary/qubits
Sep 2019 - Oct 2021
Contributions:2 releases, 20 commits, 12 pushes in 2 years
Negabinary/Math-Playground
Jun 2020 - Jan 2023
Contributions:2 releases, 342 commits, 189 pushes in 2 years 8 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.