Eric Walkingshaw
Founding Software Engineer at Formal
Corvallis, Oregon, United States
Summary
👤
Senior🎓
Top SchoolEric Walkingshaw is a founding software engineer and programming languages researcher with 18 years of experience building compilers, DSLs, and language tooling for both industry and academia. He has led production compiler projects—most recently the first-stage compiler and language services for Cogent at Elemental Cognition—and built DSLs and code generators used in real-world systems such as Frame for energy simulation. As an assistant professor he published 40+ papers, secured and executed a $1.6M grant, and co-created the choice calculus, demonstrating a rare blend of rigorous PL research and dependable software delivery. Comfortable in Rust, Objective-C, and functional languages, he focuses on type systems, human factors of languages, and software variation to make complex systems more robust and explainable. Based in Corvallis, Oregon, he combines research instincts with product-minded engineering, often translating theoretical ideas into usable tooling and IDE integrations. An unexpected strength is his background in creative writing, which he leverages to write clear language references and explainable AI artifacts.
18 years of coding experience
20 years of employment as a software developer
Bachelor of Science - BS Computer Science, Bachelor of Science - BS Computer Science at University of WashingtonAssociate of Arts - AA, Associate of Arts - AA at Edmonds CollegeDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Oregon State University
Stackoverflow
116reputation
163reached
1answer
0questions
Github Skills (101)
windows10
to-do10
linux10
theory10
gdscript10
markov-decision-processes10
rust10
opengl10
vte10
fsm-library10
bsd10
automata10
tla10
terminal-emulator10
game-theory10
Programming languages (13)
Github contributions (5)
walkie/CC-GTTSE
Jan 2011 - May 2012
Contributions:62 commits in 1 year 3 months
lambda-land/Lambda-LaTeX
May 2012 - Nov 2017
Contributions:37 commits, 2 PRs, 4 pushes in 5 years 7 months
macrosoregonoregon-state-universitylatexlambda
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.