Research Interests
Current research topics include:
- Security Logics and other Formal Methods for security
- Labelled deduction for non-classical logics (modal logics,
substructural logics, etc.)
- Logical Frameworks
- Combination of logics
- Philosophical logics
See Publications
and Teaching for
more information.
Projects I am currently involved in: