Burke Fetscher
Software Engineer at Google
Missoula, Montana, United States
Summary
👤
Senior🎓
Top SchoolBurke Fetscher is a software engineer with 15 years of experience blending programming language research and backend development, currently at Google from Missoula, Montana. He holds MS and PhD-level training in computer science and a BA in physics, and has focused work on operational semantics, functional programming, and automated/random testing. Burke contributed substantial improvements to PLT Redex—an influential Racket-based semantics toolkit—adding random test generation and richer examples that bridge research and practical tooling. He has taught introductory programming and data structures, signaling an ability to explain complex concepts clearly. Known for turning formal methods into usable developer tools, he brings rigorous academic depth to production engineering challenges.
14 years of coding experience
6 years of employment as a software developer
Bachelor of Arts (B.A.), Physics, Bachelor of Arts (B.A.), Physics at The University of MontanaMaster of Science (MS), Computer Science, Master of Science (MS), Computer Science at Northwestern University
Github Skills (4)
automated-tests10
redex10
racket10
documentation9
Programming languages (2)
Github contributions (5)
racket/racket
Mar 2012 - Oct 2014
The Racket repository
Role in this project:
Back-end Developer & Technical Writer
Back-end Developer & Technical WriterContributions:119 commits, 1 comment in 2 years 7 months
Contributions summary:Burke contributed significantly to the Redex project, specifically within the Redex library. They focused on modifying the Redex documentation and examples, adding new features related to random test generation and improving the existing code and documentation. The user also updated example files to provide additional tests for various scenarios within the system. These contributions show their involvement in the Redex project's functionality and documentation, demonstrating their backend and documentation proficiency.
code-golfschemepolyglotlanguage-designprogramming-languages
clklein/predicates
Jun 2011 - Jan 2012
Contributions:29 commits in 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.