About

Hi, I’m Stephen!

Professionally, I research and consult on secure blockchain systems at Runtime Verification.

Personally, I am a Christ-follower, husband, and all-around nerd.

Work and Education History

• 2019-Present - 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.