Computer-assisted resolution of a 55-year old open problem in elementary recreational geometry: What is the smallest square that can fit two unit circles, one of which is cut in two by a chord? NOTE abstract and introduction are silly, but the proof is legit.
Demonstrated that Bostrom et. al.'s Simulation Arguments, including the "patched" ones, have errors that result in inconsistent and greatly misleading glosses (implying, for example, that 1 is "vastly greater than" 989,901). Gave corrected, rigorous, necessarily-less-impressive versions of the arguments.
Laid out a program for how formal logic can be used, in an interactive environment and in combination with natural language, to improve deliberation and debate on questions that formal logic and mathematics are usually thought unsuitable for: those involving significant vagueness, subjectiveness, and uncertainty.
Roughly a small fraction of PhD Thesis
Stephen A. Cook, Pierre McKenzie, Dustin Wehr, Mark Braverman, Rahul Santhanam
Mark Braverman, Stephen A. Cook, Pierre McKenzie, Rahul Santhanam, Dustin Wehr
Mark Braverman, Stephen A. Cook, Pierre McKenzie, Rahul Santhanam, Dustin Wehr
PhD/MSc
Computer Science
BSc
Computer Science
Volunteer of the Year
Postgraduate Scholarship M
Sep 2008 - Sep 2010 (renewed once)
Helen Sawyer Hogg Award
Graduate entrance scholarship
Science Undergraduate Research Award
Summer 2007
Undergraduate Student Research Award
Summer 2006
Hugh Brock Scholarship
Undergraduate entrance scholarship, 2004 - 2008