My research mostly revolves around Justification and Modal Logic and their complexity, but in most cases it is safe to say that viewing Logic from a complexity-theoretic point of view, or viewing Complexity Theory from a logical point of view is within my interests.
My advisor is Sergei Artemov. Under his supervision I completed my PhD studying the complexity of Multi-agent Justification Logic.
You can find a short CV here.
Contact email: aachilleos (for some reason, in Greek this is called a “duckling”) gradcenter (a dot goes here) cuny (here as well) edu