News

We're hiring! We are looking for excellent candidates for a doctoral student position up to 4 years and a postdoctoral researcher position up to 2 years to join our new WWTF-funded project Verifying Without Loss of Generality, starting in early 2026.

17/11/2025

New paper 'Faster Certified Symmetry Breaking using Orders with Auxiliary Variables' accepted at AAAI 2026

In this paper we present an extension to the proof system underlying VeriPB that allows the use of auxiliary preorder variables for dominance-based redundancy. This leads to substantial improvements in proof logging and checking for symmetry breaking.

21/10/2025

The 'Verifying Without Loss of Generality' website is online

The website for our new WWTF-funded project Verifying Without Loss of Generality is now online.

30/09/2025

Our project proposal 'Verifying Without Loss of Generality' was accepted.

This new WWTF-funded project, directed by myself and Georg Weissenbacher, targets a closer integration between engineer insight and hardware model checking tools through reasoning without loss of generality.

31/07/2025

New paper 'Short proofs without interference' accepted at SYNASC 2025

In this paper I present a new proof system that completely bypasses the problems caused by interference in the context of DRAT-like proofs in SAT solving.