Talks and Presentations

“On Vickrey’s Theorem and the Use of ACL2 for Formal Reasoning in Economics (Extended Abstract),” with J. Cowles. Presented at the 12th International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 2014.