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.
9 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
Stackoverflow
43reputation
62reached
1answer
1question
Github Skills (121)
windows10
smart-contracts10
solidity10
semantics10
compiler10
rust10
tlaplus10
dataflow-programming10
console10
eda10
virtual-machine10
tezos10
ethereum10
blockchain10
command-line10
Programming languages (17)
Github contributions (5)
sskeirik/dotfiles
Feb 2020 - Nov 2022
Contributions:113 commits, 258 pushes, 2 branches in 2 years 9 months
Pi-Squared-Inc/wasm-semantics
Nov 2024 - Apr 2025
A Prototype Formal Semantics of WebAssembly in K
Contributions:53 reviews, 20 PRs, 77 pushes in 4 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.