Wolfgang Grieskamp
Lead Software Engineer at Aptos
Redmond, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolWolfgang Grieskamp is a Lead Software Engineer with 11+ years of industry experience and a decades-long research background in languages, compilers, runtimes, formal verification, and distributed systems. He has led engineering efforts at Aptos and contributed critical verification and prover work to high-profile blockchain projects like Diem, Move, and Aptos, including fuzzing setups and bytecode verifier hardening. Previously he drove privacy-preserving distributed ML and API/platform initiatives at Google and produced tooling and processes at Microsoft that scaled formal testing across large engineering teams. Wolfgang combines deep academic rigor—a PhD in Software Languages and Systems—with hands-on systems engineering, often turning formal methods into production-grade CI-integrated verification. Colleagues value his rare blend of language-design expertise and practical distributed-systems delivery, evident in verified smart-contract frameworks and performance-focused prover improvements.
11 years of coding experience
38 years of employment as a software developer
PhD Software Languages and Systems, PhD Software Languages and Systems at Technische Universität Berlin
German, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (27)
algorithm10
algorithms10
type-check10
dataflow10
verification10
data-serialization10
data-structure10
serialization10
lang10
compiler-design10
bytecode10
blockchain10
data-structures10
move10
type-checking10
Programming languages (12)
Github contributions (5)
move-language/move
Apr 2022 - Jan 2023
Role in this project:
Back-end Developer
Back-end DeveloperContributions:354 reviews, 65 commits, 231 PRs in 9 months
Contributions summary:Wolfgang contributed to the Move language and its associated tools by addressing issues in serialization, compatibility, and verification. They fixed serialization issues within the `move-bytecode-verifier`, and addressed a compatibility problem related to struct removal by making struct removal violate layout compatibility. The user also hardened the code against arithmetic overflow and fixed the range of instructions, as well as corrected an outdated comment. Furthermore, they also contributed to a fuzzing setup for the bytecode verifier.
aptos-labs/aptos-core
Jul 2022 - Jan 2023
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
Role in this project:Back-end Developer
Back-end DeveloperContributions:1909 reviews, 74 commits, 536 PRs in 6 months
Contributions summary:Wolfgang focused on debugging and improving the Move prover and related tools within the Aptos core repository. The user's work involved fixing bugs in the bytecode generation and type checker, addressing issues with reference safety, and enhancing the handling of function types. They also added support for new features like runtime checks, and created a benchmarking function and a new API to improve efficiency and testability.
blockchain-platformblockchainuser-experienceblockchain-networksmart-contracts
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.