Matthew Puentes
Software Engineer at IBM
Somerville, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolMatthew Puentes is a Senior Software Engineer with 12 years of experience blending systems-level engineering, cybersecurity research, and full-stack web development. At MITRE he led a five-person team to build a Rust runtime for a graph-based domain-specific language, authored internal proofs of correctness, and shipped a React/TypeScript web IDE with custom language servers and VSCode plugins. He has deep practical experience automating complex cyber-physical testbeds—creating Python orchestration libraries, CI/CD for 20+ contributors, and tools for 5G and Android device automation that materially sped up lab workflows. Now at IBM, he continues to scale secure, production-grade systems while pursuing an MS in Computer Science and Cybersecurity at WPI. Known for bridging research rigor with production delivery, he combines proof-driven algorithm work and hands-on toolmaking to surface novel cybersecurity insights. Based in Somerville, MA, he’s as comfortable writing LaTeX proofs as he is composing end-to-end demos and video walkthroughs that communicate technical impact.
12 years of coding experience
5 years of employment as a software developer
Master of Science - MS Computer Science, Master of Science - MS Computer Science at Worcester Polytechnic Institute
Github Skills (29)
windows8
desktop7
robotpy6
robot5
wpilib5
sublime5
robotics4
color-picker4
sublime-text4
matching4
python4
syntax-highlighting3
rainbow3
black-formatter2
formatting2
Programming languages (7)
Github contributions (5)
Matt-Puentes/Matt-Puentes.github.io
Apr 2018 - Oct 2019
Contributions:43 pushes, 1 branch in 1 year 6 months
Matt-Puentes/advent_of_code_2023
Dec 2023 - Dec 2024
Contributions:30 pushes, 1 branch in 1 year
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.