Hello, World: A New Blog

Welcome to my blog. After years of inactivity on the blogging front, I feel I have the time and energy to start writing again. The PL Enthusiast will remain where it is, and new thoughts will show up here.

What to expect

I plan to write about topics I think about in my research and teaching.

• Programming languages – type systems, program analysis, and language design
• Software security – vulnerabilities, defenses, and the science of secure systems
• Software engineering – testing, verification, and how we build reliable software especially with GenAI
• The research process – reflections on doing and evaluating research

I’ll also write about life beyond work – travel, hobbies, books, and whatever else catches my attention. Not everything has to be about Security or PL theory.

Posts won’t follow a strict schedule. I’ll wirte when I have something worth saying, and the motivation and time to say it.

How this was built

This blog is built with Hugo using the Apero theme, the same setup that powers the rest of this site. Blog posts are written in Markdown and tagged by topic so you can find what interests you.

Thanks for reading – I hope you find something useful here!