Research

My area of research is Automated Reasoning and its applications to formal verification of hardware, software and cryptographic protocols. In automated reasoning, my main focus is on term rewriting systems and unification.

• list of publications from the DBLP database

• Selected papers

Other links:

• Institute for Informatics, Logics and Security Studies (ILS)

• TPTP (Thousands of Problems for Theorem Provers)

• Computer Science Bibliographies

• Stanford Mechanized Reasoning page

• International Conference on Rewriting Techniques and Applications (RTA): General page

• UNIF: The International Workshop on Unification