Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
2024 paper on game semantics and truth diagrams received the Best Paper Award at the DIAGRAMS 2024 Conference. Co-authors include Samet Bağçe (METU, Türkiye), Rohit Parikh (CUNY, USA), etc.
Research Experience
Current Position: Senior Lecturer in Computer Science at Middlesex University, London, and organizer of the monthly Middlesex Computer Science Colloquium.
Education
Information not provided
Background
Research Interests: Logic, Computer Science; Professional Field: Logician; Brief Introduction: Currently a Senior Lecturer (similar to Assoc. Prof.) in computer science at Middlesex University, London, and an honorary member at the Institute of Cyber Security for Society at the University of Kent.
Miscellany
Erdös number is 3; Member of the Association for Symbolic Logic, British Logic Colloquium, Association for the Philosophy of Mathematical Practice, and European Society for the Philosophy of Mathematics.