Skip to main content

Walter Dean

Contact:

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

Office hours for term 1, 2016-2017: Wednesday 12:00-13:00, Monday by appointment.

I will be on research leave in term 2 of 2016-2017.

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 degrees. (See our events page here.) Please contact me if you have any questions about the degrees or are considering post-graduate work at Warwick in logic or philosophy of mathematics.

Midlands Logic Seminar:
I am the co-organizer (along with Richard Kaye) of the Midlands Logic Seminar. Please contact us if you are interested in giving a talk.














Teaching:

2015-2016

2014-2015



Upcoming and recent talks:

Other activities:


    Publications:

    Forthcoming:

    • "Algorithms and the mathematical foundations of computer science", in The Limits of Mathematical Knowledge, L. Horsten and P. Welch (eds.). Oxford University Press, 2016.

    2015

    2014

    2013

    2011

    2010:

    2009:

    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.