Walter Dean

Walter Dean (W.H.Dean@warwick.ac.uk)
Department of Philosophy
University of Warwick
Coventry CV4 7AL
Office: Social Studies S2.70

Education:
PhD Computer Science (2010, CUNY), PhD Philosophy (2007, Rutgers), MSc Logic (1999, Amsterdam)

Interests:
Philosophy of mathematics, mathematical and philosophical logic, theoretical computer science, philosophy and history of computation.

Mathematics and Philosophy Degree:
I am the Philosophy convenor of the Mathematics and Philosophy joint degree. My co-convenor in the Mathematics Institute is Adam Epstein.

2012-2013 (new links forthcoming):

2011-2012:

I am a co-organizer (with Richard Kaye) of the Midlands Logic Seminar. (If you're going to be in the area, please let me know if you'd be interested in speaking.)
In term 3 of 2011-2012, I organized a seminar on Computation and Intension together with Sean Walsh as part of the Plurals, and Predicates and Paradoxes seminar at Birbeck College.
For 2009-2010, I was a post-doctoral fellow of the Ideals of Proof Project at Paris 7 / Nancy 2.

2011

"Algorithms and the mathematical foundations of computer science" (submitted)
"Models and computability" (submitted)
"Explicit modal logic, informal provability and Montague's Paradox" (submitted)
"Induction, feasibility and the sorites" (in preparation)
"Mathematical knowledge and common knowledge" (in preparation)
"The Logic of Campaigning" (with Rohit Parikh), Lecture Notes in Computer Science, 6521:38-49.

2008:

“Algorithms and Ontology” Proceedings of the Austrian Ludwig Wittgenstein Society, Kirchberg am Wechsel, Austria.
“The Knower Paradox and the Quantified Logic of Proofs” (with Hidenori Kurokawa), Proceedings of the Austrian Ludwig Wittgenstein Society, Kirchberg am Wechsel, Austria.

2007: “On Moschovakis’s theory of algorithmic identity”, Proceedings of the 7th Panhellenic Logic Symposium, Volos, Greece.