In progress (2)

• (2025 - 2029) Cross theory rigorous program verification using Constrained Horn clauses

• (2023 - 2026) Formal Reasoning on Neural Networks

Completed (10)

• (2019 - 2025) Beyond Symbolic Model Checking through Deep Modelling

• (2017 - 2019) From Parallel SMT to Parallel Software Verification

• (2016 - 2018) Guiding SMT-Based Interpolation for Program Verification

• (2014 - 2018) Runtime Verification beyond Monitoring (ARVI)

• (2014 - 2016) Harnessing Parallel Computing for Model Checking

• (2013 - 2015) Quality of Interpolants in Model Checking

• ​​(2010 - 2013) Pincette -- Validating Changes and Upgrades in Networked Software

• (2009 - 2013) Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems

• (2008 - 2010) Detection of Security Vulnerabilities by Guided Model Checking - extension

• (2006 - 2008) Detection of Security Flaws and Vulnerabilities by Guided Model Checking