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.