Mat Weiss

Designing a language where the compiler verifies what programmers and agents can't track alone — grounded in cognitive linguistics.