معرفی
Can Başkent is a Senior Lecturer in Computer Science at Middlesex University, London, with significant contributions to non-classical logic and game theory. He serves as the organizer of the Middlesex Computer Science Colloquium and is an honorary member at the Institute of Cyber Security for Society at the University of Kent. His academic work spans multiple institutions including collaborations with researchers from METU, CUNY, UCLA, Bath, Indiana University, Chennai, Rensselaer Polytechnic Institute, Campinas, Cerrahpaşa, Kent, IISER, British Columbia, and Pisa.
- PhD in Computer Science, The Graduate Center, City University of New York (2012)
- Master's in Logic, Institute for Logic, Language and Computation, Universiteit van Amsterdam
Dr. Başkent's research focuses on the intersection of logic, game theory, and computer science. His primary interests include Modal and Non-Classical Logics, Foundational Game Theory, Multi-agent systems, AI Ethics, and the Methodology and Philosophy of Mathematics. He has developed innovative approaches connecting game semantics with paraconsistent logics, truth diagrams, and epistemic reasoning. His work bridges theoretical foundations with practical applications in knowledge management, fact-checking systems, and enterprise information retrieval.
His publication record reveals a consistent trajectory from foundational theoretical work in non-classical logics toward increasingly applied research. Recent publications demonstrate a shift toward practical implementations in knowledge management systems, fact-checking ecosystems, and AI ethics frameworks while maintaining strong theoretical foundations in game semantics and non-classical logic. The award-winning 2024 paper on truth diagrams exemplifies his unique ability to combine visual reasoning with formal logical systems.
- Best Paper Award at DIAGRAMS 2024 Conference for 'Playing Games with Diagrams: Truth Diagrams and Game Semantics'
As Module Leader for CST3990 Final Year Project, Dr. Başkent guides undergraduate research at Middlesex University. His extensive co-authorship network reflects international collaboration across multiple continents, indicating significant research impact. He serves on editorial boards for volumes published by Springer in the Outstanding Contributions to Logic series and has co-edited important collections on Graham Priest's work and Rohit Parikh's scholarly contributions. His Erdös number of 3 (via Rohit Parikh) connects him to a distinguished mathematical lineage.
Dr. Başkent is actively involved in the Foundations of Computing research group at Middlesex University and maintains strong connections with the international logic community through memberships in the Association for Symbolic Logic, British Logic Colloquium, Association for the Philosophy of Mathematical Practice, and European Society for the Philosophy of Mathematics.
