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 Bergerer

Logic, proof theory and applications,

domain theory, theorem provers, formal methods in computer science,

in particular program synthesis,

formal specification and verification.

domain theory, theorem provers, formal methods in computer science,

in particular program synthesis,

formal specification and verification.

Dr Xiuyi Fan - Swansea University

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

The Founding Head of the Swansea Railway Verification.

Research: concurrency theory, verification problems for infinite state automata, modal and temporal logic, game theory.

Research: 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.

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 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.

**PhD/MRes students:**

Fatima Ahlijji

PhD student

Research area: data monitoring

Research area: data monitoring

Anwar Alsamani

PhD student

Harry Bryant

MRes student

Research areas: verification, logic

Research areas: verification, logic

Victor Cai

MSc by Research student

Aled Walters

PhD student

Research area: verification and modelling

Research area: verification and modelling