Graham Leach-Krouse

he/him

Kansas State University

Draper Laboratory

Arlington, US

Bio

Works in logic, formal methods, and software verification. Interested in abstraction principles, inductive types, and other unorthodox ways of building the universe.