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

Since December 2017 I am a postdoctoral researcher in the group LogiDAC, which belongs to Chair I of the Faculty of Computer Science at the Technical University of Dortmund.

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