Welcome to my website! My name is Ioannis Kokkinis (Ιωάννης Κοκκίνης) and I was born in Athens, Greece.

Since December 2017 I am a postdoctoral researcher in the group LogiDAC.

I am interested in theoretical computer science and more precisely in logic and complexity. Here is my CV in English and in Greek.

The best way to contact me is by e-mail: ykokkinis [X] gmail [Y] com

where [X] and [Y] should be replaced by @ and . respectively.

You may also have a look at my profiles in:

Google Scholar, dblp, ORCID, ResearchGate, academia, arXiv, LinkedIn, Facebook, MathSciNet, Mathematics Genealogy Project, Github, World Chess Federation