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 (12)
functional-programming10
editor10
elm10
reasonml10
ocaml10
maths6
category-theory5
mathematics5
proof-assistant4
rust3
diagram3
math3
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.