We study algebraic techniques for the specification and analysis of systems, in particular process calculi, higher-order logic, term rewriting and lambda calculus. We develop and apply formal methods for the design and analysis of distributed computer systems and in formalizing mathematics. A significant part of our group develops and applies automatic theorem provers, building on superposition and SMT solvers. Another research focus is studying infinite data structures through automata theory.
To go to group's website, click here.
To see who is who, click here.