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
[caw_logo_carousel_c columns=”3″ pauseonhover=”yes” autoplay=”true” responsive_lg=”3″ responsive_md=”2″ responsive_sm=”1″][caw_logo_carousel image_id=”12631″ link=”https://gzoltar.com/”][caw_logo_carousel img_size=”thumbnail” image_id=”12633″ link=”https://github.com/smartbugs”][caw_logo_carousel image_id=”31194″ link=”https://gillianplatform.github.io/”][caw_logo_carousel image_id=”12639″ link=”http://epilog-tool.org/”][caw_logo_carousel image_id=”31213″ link=”https://yeastract-plus.org/”][caw_logo_carousel image_id=”31249″ link=”https://ginsim.github.io/”][/caw_logo_carousel_c]