About
Hi, I’m Stephen!
Professionally, I help build and secure blockchain systems at π2.
Personally, I am a Christ-follower, husband, father, and all-around nerd.
Work and Education History
- 2024-Present - Software Engineer - Pi Squared Inc.
- 2019-2024 - Formal Verification Engineer - Runtime Verification Inc.
- 2012-2019 - Ph.D. Computer Science - University of Illinois at Urbana-Champaign
- 2008-2012 - B.S. Computer Science, summa cum laude - University of Tennessee Knoxville
Interests
- Mathematical logic
- Programming languages
- Languages and linguistics
- Human development
- Retro-platformer video games
- Writing and storytelling
- Travel (12 countries and counting!)
- Coffee
Disclaimer
All opinions expressed in this blog are my own and do not represent the views of any other person or organization, including my employer.