Automated Reasoning and Software Reliability (ARSR) enables and supports the construction of reliable, dependable software systems, producing machine-assisted methods that improve the quality and reliability of computer systems.
Our research covers the theory and practice of automated reasoning, program synthesis, formal and static analysis of programs and biological networks, verification and validation, and automated debugging.
