Overview

Welcome! You've found your way to the website of Stephen Lazaro.

I'm a software engineer with a background in pure mathematics and philosophy, specifically interested in the work of Spinoza in philosophy and algebraic topology and algebraic geometry in pure mathematics.

In the domain of computer science, I have a growing interest in the semantics of programming languages, the theory of static analysis, and formal verification techniques.

I'm passionate about learning and building software in a way that is expressive, maintainable, and useful to actual people. I enjoy functional programming as a style and think it is one of the fastest paths to code with those properties, but I also believe there are many paths to the summit!

I've made open source contributions in many languages in the past, most actively in Scala, and I am hoping to begin contributing again to new projects in the next few years in Rust.

You can find a version of my resume here if you are interested.

"I am by nature too lazy and slothful to go looking for authors to say what I know how to say without them."

  • Don Quixote, Cervantes

In my personal life, I am a fairly avid reader, a watcher of horror movies, and an extremely mediocre musician of the viola, guitar, bass, and keyboard.

I have one cat, a reasonable number of friends, and one spouse, and that's about plenty for me.


More Places

Here are some other places you can find me:

You can feel free to contact me, but I reserve the right not to respond. You can email me at slazaro@slazaro.net.


Credits

Portrait by the enviably talented Jessica Hayworth.

This website is continuously deployed using GitHub Actions and GitHub Pages.

This website is built with Zola. The Zola theme was developed by Speyle though I have modified it. Any infelicities are likely mine.

You can browse posts by tags here:

tags