AI
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.