Research Interests

Topics of current interest to me are

• saturation-based theorem proving

• model checking

• non-classical logics

• equality reasoning

• implementation techniques

• complexity analysis

• application of theorem proving to verification.