- Program Year: 1
- Academic Institution: Cornell University
- Field of Study: Computer Science
- Academic Advisor: David Bindel
Practicum Not Yet Completed
B.S. Astrophysics, University of California, Santa Cruz, 2010
1. A. Kellison, M. Bickford, and R. Constable, Implementing Euclid's Straightedge and Compass Constructions in Type Theory, Annals of Mathematics and Artificial Intelligence, September 2018.
2. L. Cohen and A. Kellison, On Expanding Standard Notions of Constructivity, EasyChair Preprint no. 189, Federated Logic Conference, Oxford, United Kingdom, July 2018