Mathematical logic, automated deduction, logic programming Research Summary Most of my research work involves logic and its applications.
Typical applications are automated deduction and logic programming.
In automated deduction, we use tools like resolution to prove new mathematical theorems. In logic programming, we study the semantics of languages like Prolog. In mathematical logic, I work on axiomatic set theory. Besides being of interest in its own right, this subject relates to various abstract areas of mathematics, such as set-theoretic topology and measure theory, where many basic questions turn out to be independent of the usual axioms of set theory. The shortest single axioms for groups of exponent 4, Computers and Mathematics with Applications , 1995.