Google Research

Martin Churchill


My interests center around programming language semantics. I have previously worked in semantics for a quantum language, game semantics, and a modular semantics framework.

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