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) FWF START Non classical proofs: Theory, Applications and Tools, (ii) FWF TICAMORE , (iii) WWTF Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts , and (iv) WWTF TAIGER , can be theoretical, implementative or a combination of the two. Project topics include, but are not limited to: