Research Fields

  • Classical logic
    • Decidable fragments and decision procedures
    • Resolution- and tableaux-based theorem proving
    • Automated model building
    • Proof theory
    • Complexity issues
  • AI
    • Ethical AI
    • Reinforcement Learning
    • Large Language Models
    • Deontic and Legal reasoning
  • Non-classical logics
    • Proof theory and semantics
    • Automated reasoning
    • Knowledge representation
    • Reasoning with vague and uncertain information
    • Applications (e.g., Medical expert systems, Computational Law, process calculi and Indian Philosophy)
  • Formal methods for specification and verification
    • Algebraic approaches
    • Inductive theorem proving / program verification
    • Strategies in proof engineering