Adam Welc
Staff Engineer at IEEE Software
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolAdam Welc is a Staff Engineer in San Francisco with over a decade of experience designing and implementing programming languages, virtual machines, compilers, and runtime optimizations. He brings deep expertise in concurrency control and performance tuning across multiple JVMs and experimental frameworks (Truffle, Graal, STM runtimes), and has contributed to high-profile systems from Intel TM compilers to Oracle Labs' dynamic language toolchain. At Mysten Labs he focuses on Move language development and security for the Sui blockchain, adding critical features like UTF‑8 support, primitive prover types, and gas-related verifications that strengthen core language semantics. A published editor on programming languages (IEEE Software) and a former principal architect at industry labs, he blends rigorous research grounding (PhD, Purdue) with pragmatic engineering of production-grade language tooling.
10 years of coding experience
16 years of employment as a software developer
MS, Computer Science, MS, Computer Science at Poznan University of TechnologyPhD, Computer Science, PhD, Computer Science at Purdue University
Polish, English
Github Skills (17)
distributed-ledger-technology10
distributed-ledger10
lang10
formal-verification10
blockchain10
smart-contracts10
move10
rust10
movelang10
dependency-management9
security9
build-system9
it-security9
algorithm7
algorithms7
Programming languages (11)
Github contributions (5)
move-language/move
Jul 2022 - Jan 2023
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:145 reviews, 14 commits, 110 PRs in 6 months
Contributions summary:Adam primarily focused on enhancing the Move language's core functionalities and security features. They implemented support for UTF8 strings, improving the language's handling of text data. They also added diagnostic tools for fetching dependencies, demonstrating an understanding of build processes and dependency management. Additionally, they worked on adding new primitive types for arithmetic operations within the prover, enhancing the robustness and features of the security tooling.
MystenLabs/sui
Jan 2022 - Jan 2023
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Role in this project:Back-end Developer
Back-end DeveloperContributions:773 reviews, 147 commits, 574 PRs in 1 year
Contributions summary:Adam's commits primarily involve the implementation of Move module initializers and related gas handling improvements within the context of the Sui blockchain platform. This includes refactoring of authority state creation, adding type-checking for templated type arguments for entry functions, and modifying return values of entry functions. The user's contributions focus on the core logic of the Move adapter and verifier, particularly concerning gas costs and handling.
low-latencyprogramming-languagesmart-contractsblockchaindistributed-ledger-technology
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.