معرفی
Aaron Stump holds the John R. and Pamela Egan Chair of Computer Science at Boston College, specializing in programming languages and formal verification. He develops the Cedille programming language and proof assistant for dependently typed programming.
Research focuses on:
- Dependent type theory implementations
- Zero-cost program reuse methodologies
- Recursive type encodings
- Formal verification of functional programs
Leads research on lambda encodings and formal methods, contributing to proof assistant technologies and type-based program verification.
۰مقاله منتشرشده
