I'm a software engineer, currently at CompilerWorks as a senior developer on their SQL transpiler and database lineage software. I'm interested in programming language theory and mathematical logic.

(Disclaimer: The opinions expressed here are my own and not those of CompilerWorks.)