Skip to main content

Leopold Haller

Personal photo - Leopold Haller

Leopold Haller

Doctoral Student

Leaving date: 11th April 2014


I am interested in unifying decision procedure and abstract interpretation research. My theoretical interest is in dissolving the conceptual boundary between the two fields. My practical focus is on building decision procedures and program analysers that deeply integrate the generality and speed of abstract interpretation with the efficiency and precision of modern decision procedures.

You can find slides for various talks I've given here.


I joined Daniel Kroening's group in Oxford in 2008 as a doctoral student. Before that, I was a student at TU Vienna and JKU Linz. My master's and bachelor's projects were supervised, respectively, by Uwe Egly and Armin Biere.

Selected Publications

View AllManage publications