Sequoiah-Grayson

Sebastian Sequoiah-Grayson joined the Formal Epistemology Project in July 2008. He is a Senior Research Fellow of the IEG, the research group on the Philosophy of Information at the Computing Laboratory at the University of Oxford, and a Research Member of the GPI at the University of Hertfordshire. He has previously been a Stipendiary Lecturer in Philosophy at St Anne's College at the University of Oxford, and a Visiting Research Fellow at the Tilburg Institute of Logic and Philosophy of Science. He completed his BA (HONS) and MPhil (thesis: Two-Dimensional Semantics and Doxastic Reports) at The University of Sydney, where he was supervised by David Braddon-Mitchell and Michael McDermott. He completed his BPhil (2005) and DPhil (2008) at Balliol College with the Faculty of Philosophy, University of Oxford (thesis: Information and Logical Equivalence), where he was supervised by Timothy Williamson and Luciano Floridi, and examined by Volker Halbach and Johan van Benthem. He is co-author (with Maricarmen Martinez) of the forthcoming entry on Logic and Information in the Stanford Encyclopedia of Philosophy. He has published his work in journals such as Linguistic Analysis, The Review of Symbolic Logic, Synthese, The Journal of Philosophical Logic, Minds and Machines, Logique et Analyse, and annuals such as The Logica Yearbook. He is co-editor (with Luciano Floridi) of The Philosophy of Information and Logic, a special issue of the Knowledge Rationality and Action section of Synthese. He also writes a regular monthly column, "What's Hot in Formal Epistemology?" for The Reasoner. His present research project focuses on Procedural Reasoning and Dynamic Information Structures. For more information, see his website.