## 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