Algorithms and Logics for Verification

Meet some of our Researchers

Associate Professor

Tim Willemse

Assistant Professor

Thomas Neele

Assistant Professor

Clemens Dubslaff

Assistant Professor

Matthias Volk

Recent Publications

Our most recent peer reviewed publications

Contact