I am very fortunate to work with these amazing people:

Student Projects

We offer student projects, Bachelor and Master thesis dealing with logics different from classical logic (so called non-classical logics). The projects and the thesis, related to the research projects: (i) Non classical proofs: Theory, Applications and Tools, (ii) TICAMORE and (iii) Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts can be theoretical, implementative or a combination of the two. Project topics include, but are not limited to: