Team

I am very fortunate to work with these amazing people:

• Federico Aschieri | Researcher (Funded by FWF START)
• Francesco Genco | PhD Student (Funded by the FWF DK)
• Francesca Gulisano | PhD Student (visiting student from Pisa University, Italy)
• Roman Kuznets | Researcher (Funded by FWF START)
• Bjorn Lellmann | Researcher (Funded by WWTF)
• Tim Lyon | PhD Student (Funded by FWF TICAMORE project)
• Matteo Pascucci | Researcher (Funded by WWTF)
• Revantha Ramanayake | Researcher (Funded by FWF -- TICAMORE project)
• Kees Van Berkel | PhD Student (Funded by WWTF)

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 and (iii) WWTF 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:

• Non-classical logics: investigation of their semantics, proof theory, important properties... : search for general results or focus of particular classes of logics (modal logics, deontic logics, fuzzy logics, substructural logics ...).
• Computer programs facilitating their investigation. For example
  • Extend the system TINC to cover more logics or further properties. (See here for more details on TINC)
• Connections between logic and computation (Curry-Howard correspondence)
• Applications of non-classical logics to various fields. Examples of applications are contained here for fuzzy logics and medical expert systems or here for deontic logics and Indian Philosophy.