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. We welcome applications until 27 November 2025.

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.