Reed Milewicz
Senior Member Of Technical Staff at Sandia National Laboratories
Albuquerque, New Mexico, United States
Summary
👤
Senior🎓
Top SchoolReed Milewicz is a Senior Member of Technical Staff at Sandia National Laboratories with a decade of experience bridging research and production in software engineering and verification. He leads research for the Department of Software Engineering and Research, focusing on hybrid verification techniques that combine program analysis, model checking, and novel machine learning tooling. His background includes a PhD-driven research agenda at UAB on concurrent programming, source-code transformation, and computational aesthetics, and earlier work contributing to the ROSE compiler framework. Reed’s work blends rigorous programming-language theory with practical CI/CD and container-based workflows, making him adept at turning formal methods into usable tools for large-scale scientific software. Based in Albuquerque, he pairs deep academic credentials with hands-on engineering leadership in national-lab environments.
10 years of coding experience
6 years of employment as a software developer
Doctor of Philosophy (PhD), Computer and Information Science, Doctor of Philosophy (PhD), Computer and Information Science at University of Alabama at BirminghamHigh School Diploma, High School Diploma at Mountain Brook High SchoolBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Birmingham-Southern College
Github Skills (107)
catalog9
open-access9
scientific-computing9
lists9
academia8
journal8
hpc8
software-quality8
trilinos7
science7
algorithms7
creative-commons6
least-squares5
hpc-applications5
simulation5
Programming languages (7)
Github contributions (5)
rmmilewi/mtgcompiler
Aug 2018 - Feb 2019
Contributions:62 commits, 121 pushes, 1 branch in 5 months
rmmilewi/KnowledgeManagementSurvey
Jun 2018 - Oct 2023
Contributions:2 pushes, 1 branch in 5 years 4 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.