People

Photo of Arnold Beckmann
Professor Arnold Beckmann

Our HoD

Ulrich Berger
Dr. Ulrich Berger
My traditional work areas are domain theory, proof-theory and lambda calculus. Currently, I’m mainly working on program extraction from proofs.

Photo of Jens Blanck
Dr. Jens Blanck

Photo of Fan Xuiyi
Dr. Xiuyi Fan

Photo of Oliver Kullmann
Dr. Oliver Kullmann

Photo of Liang-Ting Chen
Dr. Liang-Ting Chen

Photo of Phillip James
Dr. Phillip James

Photo of Faron Moller
Professor Faron Moller

Photo of Liam O'Reilly
Dr. Liam O’Reilly

Photo of Arno Pauly
Dr. Arno Pauly

Photo of Markus Roggenbach
Professor Markus Roggenbach

Photo of Monika
Dr. Monika Seisenberger

Photo of Anton Setzer
Dr. Anton Setzer

Photo of John Tucker
Professor John V. Tucker   

Photo of Ferdinand Vesely
Dr. Ferdinand Vesely   

PhD students:

Photo of Hoda Abbasizanjani
Hoda Abbasizanjani
Hoda is a PhD student in Theoretical Computer Science. Her current research is about the connections of SAT (the propositional satisfiability problem) and combinatorics. The main goal of her research is to study the structure of minimally unsatisfiable clause-sets (conjunctive normal forms as set-systems) in order to understand the reasons of unsatisfiability (inconsistency).

Photo of Arved
Arved Friedemann
Research area: Extracting advanced SMT solvers from proofs

 

 

Photo of Olga
Olga Petrovska
The aim of my research is finding an efficient way of extracting programs from proofs. This is an alternative approach to software development, where correctness properties of software specifications are formally proved and software is extracted from this proof.