Welcome to the Automatic Reasoning Group!

Automated Reasoning Group focuses on developing methods for reasoning about the correctness of computerized systems. We develop and employ techniques from computational logic (especially, Satisfiability Modulo Theories), automata theory, programming language theory, and algorithms/complexity, to name a few. We are interested in applications that arise from web security/optimization, analysis of large concurrent programs, and databases, to name a few. We always try to keep a healthy balance between theory, tool construction, and case studies. On these pages you can find the members of the group and our general areas of interest.

You can also find more details about ongoing projects and related publications.

For our students we provide information about all kinds of courses, lectures, and projects. Finally, you can find further information about activities of the group members.