Organizes the Symposium on Proof-theoretic Semantics. (Details on other academic achievements such as publications not provided)
Research Experience
Current research focuses on explainable and responsible AI, theories of meaning, logic and reasoning, philosophy of language and mind, and knowledge, policy, and cybersecurity.
Education
MMAth, PhD, MIMA, MBCS, London Mathematical Society. (Specific details about degrees, institutions, and supervisors not provided)
Background
Research interests span logic across mathematics, informatics, and philosophy. Particularly interested in the philosophical foundations of reasoning and their significance for AI and society. Also an Honorary Research Fellow in the Department of Computer Science at University College London.
Miscellany
Committed to making logic accessible to broader audiences through science writing and public engagement.