The mathematical and computational Logic Reserach Group of CoreLab focuses mainly on the following subjects: Modal Logic, Reasoning, Knowledge, Belief, Provability & Justification Logic.
Natalia Kotsani is an undergratuade student of NTUA (Applied Mathematical & Physical Science Department).
The Computation & Reasoning Laboratory of NTUA supports graduate and undergraduate courses related to Theoretical Computer Science. It also supports diploma and doctoral theses and research in the fields of Theory of Computation, Logic, Cryptography, Computational Geometry and Graph-theoretic Algorithms.