Research Fields

  • Classical logic
    • Decidable fragments and decision procedures
    • Resolution- and tableaux-based theorem proving
    • Automated model building
    • Proof theory
    • Complexity issues
  • 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)
  • Molecular Computing
    • Membrane Computing
    • DNA Computing
    • Neural Networks
  • Formal Languages
    • Array grammars
    • Graph grammars
    • Infinite words
  • Equational reasoning and term rewriting
    • Schematization of infinite sets of terms, rules, clauses etc.
    • Modular properties of term rewriting systems
    • Rewriting under strategies
    • Proof techniques for confluence and termination
  • Formal methods for specification and verification
    • Algebraic approaches
    • Inductive theorem proving / program verification
    • Strategies in proof engineering