Matthew Hammer
Engineer & Researcher at DFINITY
Boulder, Colorado, United States
Summary
🤩
Rockstar🎓
Top SchoolMatthew Hammer is an engineer and researcher with 11 years of experience bridging academic programming languages research and production blockchain engineering at DFINITY. A former assistant professor and co-director of CU’s Programming Languages and Verification group, his work has appeared at top PL venues (POPL, PLDI, OOPSLA, ICFP) and was supported by NSF and industry funding. He brings deep formal and systems expertise from a PhD and postdoc, plus practical industry experience from internships at IBM and Intel. At DFINITY he contributes full‑stack implementations for certified applications on the Internet Computer, including UX and frontend integrations that surface cryptographic guarantees to users. Based in Boulder, he combines rigorous research instincts with hands‑on product development to make provable systems usable in the wild.
12 years of coding experience
6 years of employment as a software developer
BS, Computer Science, BS, Computer Science at University of Wisconsin-MadisonMasters, Computer Science, Masters, Computer Science at Toyota Technological Institute at ChicagoPostdoc, Computer Science, Postdoc, Computer Science at University of MarylandPhD, Computer Science, PhD, Computer Science at University of Chicago
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (12)
javascript10
front-end-development10
icx10
internet-computer10
motoko9
ca8
react-r6
reactn6
react6
blockchain5
microservices-application4
microservices4
Programming languages (17)
Github contributions (5)
dfinity/examples
Sep 2020 - Nov 2021
Example applications, microservices, and code samples for the Internet Computer
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:11 reviews, 33 commits, 5 PRs in 1 year 1 month
Contributions summary:Matthew primarily worked on the frontend implementation of a certified variable example application within the Internet Computer (IC) ecosystem. They adapted frontend assets, added missing files like HTML, CSS, and JavaScript, and integrated with the backend canister. The user also implemented features such as verifying responses from the IC and ensuring the correct certified data is displayed. Their work included refining the user interface, adding logging, and enhancing the overall user experience through improved messaging.
microservicesdfxicpblockchaininternet-computer
Adapton/fumola
May 2025 - Jul 2026
Contributions:1 review, 7 PRs, 105 pushes in 1 year 1 month
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.