Dr. Troy Astarte
History of computing, history of theoretical computer science, as well as the history of mathematics, semantics of programming languages, modelling of systems, and verification of programs and systems.
Professor Arnold Beckmann
Mathematical logic, logic in computer science, proof theory, blockchain foundations, computational modelling for I4.0.
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.
Dr. Jens Blanck
Computability, domain theory, continuous data types, mathematical logic.
Dr. Xiuyi Fan
Research interests include argumentation, multi-agent systems, artificial intelligence
Dr. Phillip James
Cyber security, domain specific languages and verification, formal specification and verification of railway interlocking systems, model checking using SAT-Solving
Dr. Oliver Kullmann
Automated theorem proving, SAT solving, constraint satisfaction, algorithms, complexity theory.
Professor Faron Moller
Concurrency theory, verification problems for infinite state automata, modal and temporal logic, game theory.
Dr. Liam O’Reilly
Algebraic specification, structured modelling, compositional reasoning about reactive systems, tool support for theorem proving and other formal methods.
Dr. Arno Pauly
Computability theory, computable analysis, descriptive set theory, algorithmic game theory.
Dr. Olga Petrovska
Logic and proof theory, interactive theorem proving and program extraction.
Dr. Pierre Pradic
Professor Markus Roggenbach
Specification languages and their semantics, verification, testing, tools.
Dr. Monika Seisenberger
Logic and proof theory, interactive theorem proving and program extraction, modelling and verification of railway control systems, formal methods in security and cyberterrorism.
Dr. Anton Setzer
Proof theory and type theory, interactive theorem proving and dependently typed programming, verification of interactive programs and user interfaces, cryptocurrencies and blockchain technology.
Professor John V. Tucker
Theory of data, logical and algebraic methods for modelling and specification, computability theory for topological data types, computability theory for physical systems, monitoring and surveillance studies, history of formal methods, innovation in computing and its impacts
Research area: data monitoring
Visiting PhD student
Research area: AI, Law
Research area: Extracting advanced SMT solvers from proofs
Research area: Blockchain
Research area: safety and security
Research area: verification and modelling