Can Baskent is a Senior Lecturer (equivalentish to Assoc Prof in the US system) in computer science at Middlesex University, London.
Before joining in Middlesex University, Dr Baskent worked as a postdoctoral researcher at IHPST (Paris 1, ENS, CNRS) and INRIA (Nancy) in France; and at the University of Bath and Oxford Brookes University in England.
His website contains all his publications, presentations and up-to-date CV: canbaskent.net/logic/
He can be found in Twitter.
I am the module leader of CST3990 Individual Projects. And I am also teaching discrete mathematics for Year 1, which we call Synoptics.
My slides for my lectures here at Middlesex are found in UniHub. For my public lecture notes, see my website:
I am interested in all things logic and formal reasoning as well as how they relate to philosophy, game theory and economics.
All my publications can be viewed on my website: canbaskent.net/logic/publications.html
Most recently, I received "Computer Science Small Grants - Scheme 7" of the London Mathematical Society.
I am a proud member of
- Association for Symbolic Logic
- British Logic Colloquium
- Association for the Philosophy of Mathematical Practice
- European Society for the Philosophy of Mathematics.
