About
My interests center around programming language semantics. I have previously worked in semantics for a quantum language, game semantics, and a modular semantics framework.
Research Areas
Learn more about how we do research
We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work