His research focuses on the theory and applications of non-classical logics, of proof development systems, of logical frameworks, and of logics for security.