Michael Galaxy
Senior Performance Software Engineer at NVIDIA
Dallas-Fort Worth Metroplex United States
Summary
👤
Senior🎓
Top SchoolMichael Galaxy is a Senior Performance Software Engineer with 11 years of hands-on experience tuning hypervisors, virtualization stacks, and cloud platforms for predictable, high-throughput operation. He has driven performance and stability at DigitalOcean and Akamai (including Linode) and now applies that deep systems expertise at NVIDIA, blending OS-level hacks, custom networking, and VM/container work to eke out resource fairness and efficiency. A Ph.D.-trained researcher with roots at IBM Research and Columbia, he combines academic rigor in memory overcommitment and fault tolerance with practical production engineering. Michael's work is distinguished by experimental systems thinking—building measurable proofs that VMs are "getting what they're owed"—and an unusual early background in classical piano that hints at disciplined, creative problem solving.
11 years of coding experience
11 years of employment as a software developer
Master of Science (M.S.) Computer Science, Master of Science (M.S.) Computer Science at Florida State UniversityJohns Hopkins UniversityDoctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at Binghamton UniversityHigh School, High School at University of North Texas - Texas Academy of Math and ScienceHigh School Classical Piano, High School Classical Piano at Booker T. Washington School for the Performing and Visual Arts
English, Chinese
Stackoverflow
1,253reputation
295kreached
33answers
6questions
Github Skills (119)
stress-testing10
vms10
vultr10
digitalocean10
rapid10
libvirt10
benchmarking10
json-api10
vdi10
lxc10
openstack10
docker10
javascript9
couchdb9
api9
Programming languages (10)
Github contributions (5)
hinesmr/cbtool
Apr 2015 - Jun 2018
Contributions:110 pushes, 109 branches in 3 years 2 months
gcpexperimentationanalysis-toolkitcloudrapid
digitalocean/cbtool
Oct 2015 - May 2018
Contributions:9 PRs, 171 pushes, 36 branches in 2 years 7 months
gcpexperimentationanalysis-toolkitcloudrapid
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.