Resume
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.
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.