I'm a formal methods engineer at BedRock Systems, where I lead a team in verification of highly concurrent systems software. Previously, I was an assistant professor of computer science at Ohio University working on probabilistic programming with great students like Alex Bagnall.
A list of my publications is on DBLP and Google Scholar. My open-source software is available on GitHub. I have a PhD in computer science from Princeton University, where I worked with Andrew Appel on the Verified Software Toolchain (VST).