Michael Agun
Software Engineer at Microsoft
Bothell, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolMichael Agun is a software engineer with 13 years of experience currently building systems at Microsoft from his base in Bothell, Washington. He holds a PhD in Computer Science from UC Santa Barbara and began his industry work as a long-term researcher and PhD intern before transitioning to principal R&D engineering at Western Digital. His background blends deep research credentials with hands-on product engineering, making him comfortable moving between experimental prototypes and production-grade storage and systems work. Michael’s career shows a steady progression from academic research into leadership-level engineering roles, suggesting strong expertise in complex system design and implementation. Though his public GitHub footprint is minimal, his trajectory implies substantial behind-the-scenes contributions to R&D projects and intellectual property. He brings a research-driven mindset to practical software challenges, pairing rigorous problem-solving with measurable delivery.
13 years of coding experience
Bachelor of Science (BS), Computer Science, Bachelor of Science (BS), Computer Science at Gonzaga UniversityDoctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at UC Santa Barbara
Github Skills (25)
ebpf10
windows10
networking10
observability9
abstract-interpretation9
static-analyzer9
windows-kernel8
kubernetes8
userspace7
elf7
cpp5
cpp-library5
unix4
build-system3
paxos2
Programming languages (3)
Github contributions (5)
mikeagun/ebpf-for-windows
Apr 2024 - Jul 2026
eBPF implementation that runs on top of Windows
Contributions:1 PR, 383 pushes, 56 branches in 2 years 3 months
ebpfwindows
mikeagun/concat
Jan 2020 - Feb 2024
Contributions:6 pushes, 4 branches in 4 years 1 month
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.