Research

Laboratory Introduction

Our research group studies the theory of computation and automated deduction.

• slides (pdf)

Keywords

computational models, term rewriting, functional programming, automated theorem proving, termination, complexity analysis, confluence, completion, evaluation strategies