Adam Foltzer
Principal Software Engineer at Veeva Systems
Portland, Oregon, United States
Summary
🤩
Rockstar🎓
Top SchoolAdam Foltzer is a Principal Software Engineer based in Portland, Oregon with 16 years building fast, reliable systems and a strong focus on Rust and low-level runtime engineering. He has driven production-grade work at Fastly and Veeva and built scalable genomics software at St. Jude, pairing systems design with hands-on implementation. An active open-source contributor, Adam has improved core WebAssembly runtimes (Lucet, Wasmtime), contributed critical platform bindings to rust-lang/libc, and helped evolve the Cryptol language—demonstrating expertise in memory management, error handling, and cross-platform compatibility. He blends research-era rigor from Galois with production operational experience, frequently tackling subtle ABI and performance issues that most engineers never see.
16 years of coding experience
15 years of employment as a software developer
Master of Science (MS) Computer Science, Master of Science (MS) Computer Science at Indiana University
Stackoverflow
5,588reputation
129kreached
49answers
19questions
scheme
top-5%
recursion
top-5%
haskell
top-5%
Github Skills (46)
modular-system10
assembly10
type-check10
runtimes10
system-programming10
memory-management10
capi10
bytestring10
x8610
low-level-programming10
x86-6410
tcp10
error-handling10
blazor-webassembly10
wasmtime10
Programming languages (22)
Github contributions (5)
bytecodealliance/lucet
Jan 2019 - Jul 2021
Lucet, the Sandboxing WebAssembly Compiler.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:7 releases, 20 reviews, 407 commits in 2 years 6 months
Contributions summary:Adam contributed to the core runtime of the Lucet WebAssembly compiler, focusing on low-level memory management and instance execution. Their work included refactoring the region and module interfaces to improve flexibility and maintainability. They added APIs for yielding and resuming, and they implemented a test suite for the C API, and fixed existing tests.
sandboxingrustwasmerwebassemblycompiler
GaloisInc/cryptol
Apr 2014 - Jul 2016
Cryptol: The Language of Cryptography
Role in this project:Back-end Developer
Back-end DeveloperContributions:9 releases, 18 commits, 13 PRs in 2 years 2 months
Contributions summary:Adam primarily contributed to the Cryptol language project by modifying core language components. Their work includes changing error handling, adding test cases, and refactoring the code to use `panic` instead of `error` for better reporting. They made changes to the module loading and type checking, and updated the cabal file. They also temporarily disabled a command in the REPL and bumped the version for a new alpha release.
cryptographyfhecrypto
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.