Stephen Skeirik
Software Engineer at Pi Squared Inc.
Knoxville, Tennessee, United States
Summary
👤
Senior🎓
Top SchoolStephen Skeirik is a software engineer and researcher with a PhD in formal methods and a decade of experience applying rigorous semantics to real-world systems, especially blockchains, compilers, and verification tooling. Currently at Pi Squared, he builds symbolic execution and runtime semantics tools that let blockchains deterministically interpret arbitrary languages and optimize repeated program fragments. Previously he led a Rust verification effort at Runtime Verification that won a $500K grant and has audited smart contracts and low-level code across multiple languages. His research produced novel SMT and variant-satisfiability techniques and inductive rewrite-analysis tools, evidence of a rare blend of theorem-proving depth and production engineering. Based in Knoxville, TN, he delivers practical formal-methods solutions that make systems more auditable, secure, and efficient.
10 years of coding experience
14 years of employment as a software developer
University of Illinois Urbana-ChampaignBachelor of Science - BS, Computer Science, 3.96 / 4.0, Bachelor of Science - BS, Computer Science, 3.96 / 4.0 at University of Tennessee, Knoxville
Chinese
Github Skills (79)
windows10
rust10
tlaplus10
dataflow-programming10
console10
eda10
virtual-machine10
tezos10
ethereum10
command-line10
cmd10
rust-lang9
compiler9
blockchain-platform9
windows-console9
Programming languages (17)
Github contributions (5)
sskeirik/sskeirik.github.io
May 2019 - Feb 2026
Contributions:19 pushes, 1 branch in 6 years 10 months
fastxyz/wasm-semantics
Nov 2024 - Apr 2025
A Prototype Formal Semantics of WebAssembly in K
Contributions:53 reviews, 20 PRs, 77 pushes in 4 months
formal-semanticswebassembly
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.