John Stracke

Principal Software Engineer at Ocient

Littleton, Massachusetts, 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
John Stracke is a Principal Software Engineer with roughly three decades of professional experience and a lifelong fascination with programming, specializing in network protocols, programming language design, and microkernels. He has held senior engineering roles across industry leaders and startups—most recently at Ocient, Paradigm4, Motional and a long tenure at Google—bringing deep systems and distributed-systems expertise to production-scale problems. His master's thesis built PackOS, a microkernel whose processes communicate strictly over IPv6, and he is actively developing λπ, a Lisp-inspired language for systems programming with message-passing concurrency and immutable state, intending to rewrite PackOS in it. Combining research-minded curiosity with pragmatic engineering, he blends protocol, language, and algorithmic knowledge to tackle low-level system design and high-level application requirements. Based in Greater Boston, he is selective about engagements and focused on long-term, non-relocating roles rather than contract or clearance-bound work.
code16 years of coding experience
job27 years of employment as a software developer
bookUMass Lowell
bookBA, BA at Northwestern University
bookUniversity of Chicago
github-logo-circle

Github Skills (15)

vscode7
ipad7
ipados7
parser-generator6
swift5
python-modules5
shell4
ios4
rust4
grammar4
mobile4
smartsheet4
scp4
java2
mosh2

Programming languages (4)

JavaRustSwiftPython

Github contributions (5)

github-logo-circle
metageek/packos

Feb 2016 - Apr 2025

Contributions:8 pushes, 1 branch in 9 years 3 months
metageek/adder

Mar 2010 - Jan 2011

Contributions:53 commits, 7 pushes, 1 branch in 10 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