معرفی
Andrew Marmaduke is a Postdoctoral Researcher at the University of Iowa, affiliated with the Department of Computer Science under the College of Liberal Arts and Sciences. Working in the Computational Logic Center under the guidance of Dr. Aaron Stump, his research focuses on programming language theory, logic, and formalization of mathematics through the Cedille language.
Research Highlights
- Explores Cedille's capabilities in capturing advanced language features like large eliminations and induction-induction
- Investigates dependent intersections, equality of untyped terms, and erased function spaces
- Develops formal systems for mathematical constructions in programming languages
Publication Trends: His work centers on type theory foundations in functional programming, with recurring themes in formal verification and programming language design. Key contributions include impredicative encodings (2023), simulation of large eliminations (2021), constructor subtyping optimizations (2020), and quotient type implementations (2019).
Awards
- Best Student Paper Award at Trends in Functional Programming (TFP 2023)
Technical Contributions: Co-developed olette, an optimal lambda evaluation tool for graphical reduction exploration. Previously authored a master thesis on carbon nanotube forest modeling at The University of Akron (2015).
