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 (73)
journal9
catalog9
open-access9
scientific-computing8
synchronized8
hpc8
trilinos7
creative-commons7
academia7
software-quality7
science5
abstract-syntax-tree5
peak-detection5
signal-processing4
lstm4
Programming languages (8)
Github contributions (5)
rmmilewi/rmmilewi.github.io
Mar 2019 - Nov 2024
Contributions:32 pushes, 1 branch in 5 years 8 months
rmmilewi/mtgcompiler
Aug 2018 - Feb 2019
Contributions:62 commits, 121 pushes, 1 branch in 5 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.