Sorry! De informatie die je zoekt, is enkel beschikbaar in het Engels.
This programme is saved into My study choice.
This programme cannot be saved.
You are not logged in yet to My study choice Portal. Login or create an account to save your programmes.
Something went wrong, try again later.

Theoretical Computer Science

We study algebraic techniques for the specification and analysis of systems.

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.