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

Recommended Courses

• I120 Fundamentals of Logic and Mathematics
• I211 Mathematical Logic
• I217 Functional Programming