Back to Resources
A programming languages researcher who applies advanced type theory to language design and implementation. He is the principal designer of ATS, a language that combines programming with theorem proving through dependent and linear types, supporting the construction of safe and reliable software systems.
Last verified: August 22, 2026
Suggest a correction