Areas of Interest:

• Mathematical Logic and Computational Logic: in particular Modal & Temporal Logics and their applications in CS and AI, Knowledge Representation (Non-Monotonic logics & Belief Revision)

• Lattice Theory: applications in Non-Classical Logic (lattice-valued logics, algebraic modal logic) and Computer Science (in particular Concept Lattices)

• I have also an interest to Computational Complexity (relations between complexity classes, probabilistic complexity, interactive proofs) and its connections to Mathematical Logic (mainly: bounded arithmetics & propositional proof complexity)

Links

• KR 2012 (13th International Conference on Principles of Knowledge Representation and Reasoning)

• ECAI 2012 (20th European Conference on Artificial Intelligence)

• JELIA 2012 (13th European Conference on Logics in Artificial Intelligence)

• Graduate Programme on Logic, Algorithms and the Theory of Computation (ΜΠΛΑ)

• CoReLab, the Computation & Reasoning Laboratory, at the NTUA

• Mathematical Logic around the World