Hi, I’m Stephen!

Professionally, I apply practical formal methods to help teams build and secure systems.

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

Career & Education

• 2026-Present - Computer Engineer - Oak Ridge National Laboratory
• 2024-2026 - 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 - University of Tennessee Knoxville

Interests

• Mathematical logic
• Programming languages
• Languages and linguistics
• Human development
• Retro-platformer video games
• Writing and storytelling
• Travel (13 countries and counting!)
• Coffee

Colophon

Credits

This webpage is built using the following freely available resources below. Thank you!

• Site Generator: Hugo
• Site Theme: Hugo Bear Blog Theme by Jan Raasch
• Logo/Favicon Font: Fjalla One (also via Google Fonts)

Disclaimer

All opinions expressed in this blog are my own and do not represent the views of any other person or organization, including any past or present employer.