Jasper O'leary
Software Engineer at Google
Seattle, Washington, United States
Summary
👤
Senior🎓
Top SchoolJasper O'leary is a software engineer at Google Cloud with 11 years of experience, currently developing high-performance network interface drivers for novel virtual NIC hardware in Google Compute Engine. He holds a PhD in Computer Science from the University of Washington, where he pioneered "physical-digital programming"—building full-stack systems that make digital fabrication feel like programming rather than mere execution. Jasper blends systems-level expertise in OS, networking, and kernel programming with a background in HCI and programming languages, enabling him to design tools that are both performant and usable. His career includes research and industry internships at Adobe and teaching experience at UC Berkeley, demonstrating a knack for translating research prototypes into practical, tested systems. Based in Seattle, he’s deeply interested in pushing VM networking throughput while catching up on advanced kernel and networking concepts to bridge research insights and production implementations.
11 years of coding experience
10 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of WashingtonBachelor of Arts - BA, Computer Science, Bachelor of Arts - BA, Computer Science at University of California, BerkeleySanta Rosa Junior College
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (14)
ssreflect9
tla9
verification9
fabrication9
tlaplus8
coq8
displays6
machine-learning6
python6
multimedia2
lit-element1
php1
flask1
parametric1
Programming languages (6)
Github contributions (5)
machineagency/taxon
May 2020 - Oct 2021
⚙️ A language for formal reasoning with digital fabrication machines
Contributions:948 commits, 1 PR, 16 pushes in 1 year 5 months
ssreflectfabricationmachinestlaformal
jtranoleary/jtranoleary.github.io
Oct 2014 - Dec 2022
Contributions:134 commits, 96 pushes, 3 branches in 8 years 3 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.