Michael Hinton

Software Engineer - GPU Simulation

Provo, Utah, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Michael Hinton is a software engineer specializing in workload emulation and scheduling with a decade of experience building and supporting low-level systems for HPC and enterprise platforms. He helped develop and maintain Slurm at SchedMD, giving him deep expertise in Linux workload management, and now focuses on workload emulation at Intel. His academic work — a master’s thesis on mitigating inter-core interference using the Jailhouse hypervisor — reflects a practical blend of embedded hypervisor tooling and performance isolation. Early internships at SanDisk/Fusion-io and Intel NSG involved FPGA/PCIe and SSD platform work, showing comfort across hardware/software boundaries. Based in Provo, UT, he’s a curious engineer who enjoys both kernel-adjacent systems programming and web technologies, and who has a track record of shipping pragmatic solutions in production HPC environments.
code10 years of coding experience
job10 years of employment as a software developer
bookMaster's degree Electrical and Computer Engineering, Master's degree Electrical and Computer Engineering at Brigham Young University
languagesEnglish, Japanese
stackoverflow-logo

Stackoverflow

Stats
321reputation
45kreached
10answers
5questions
github-logo-circle

Github Skills (139)

slurm10
python10
gtk10
qt10
compiler10
multi-process10
rust10
usermode10
raspberry-pi-pico10
matplotlib10
packaging10
sublime-text9
game-engine9
pandas9
rust-lang9

Programming languages (12)

TypeScriptJavaC++ShellRustCBrighterScriptJavaScript

Github contributions (5)

github-logo-circle
hintron/nando-lang

Dec 2024 - Mar 2026

Contributions:1 release, 57 pushes, 1 branch in 1 year 2 months
hintron/computer-enhance

Jun 2023 - Feb 2025

Contributions:447 pushes, 132 branches, 7 tags in 1 year 7 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.
Request Free Trial