Our mission is to enable and support the construction of reliable and dependable software systems with a focus on producing machine-assisted methods to improve the quality and dependability of computer systems.
Our research work encompasses theory and practice of automated reasoning, program synthesis, formal and static analysis of programs and biological networks, verification and validation, and automated debugging.
Projects
