Theory: Algebraic and Logical Design Methods
People
Swansea has one of the largest groups of theoretical computer scientists in the UK, with a big research programme involving many international collaborators. The following lists indicate the main interests of the group members. (Direct access to contact details and photos is provided on the Department People pages.)
Staff
- A Beckmann
- Proof theory — Bounded arithmetic — Proof complexity
- U Berger
- Computing with continuous and analogue data — Higher order methods for semantics and program synthesis — Proof theory — Type theory
- J Blanck
- Computing with continuous and analogue data
- N A Harman
- Hierarchical structure of systems
- O Kullmann
- Proof complexity — Satisfiability problems
- F G Moller
- Infinite state automata theory — Modal and temporal logics
- P D Mosses
- Semantics online — Common algebraic specification language
- M Roggenbach
- Data and processes — Common algebraic specification language
- M Seisenberger
- Higher order methods for semantics and program synthesis — Proof theory
- A G Setzer
- Proof theory — Type theory
- J V Tucker
- Computing with continuous and analogue data — Computability and physical systems — Theory of data and data-centric computing
Research assistants
Honorary staff
- J A Bergstra (Amsterdam)
- Theory of data and data-centric computing
- K Stephenson (QinetiQ)
- Theory of data and data-centric computing
- C M N Tofts (concinnitas)
- Service science
- J I Zucker (McMaster)
- Computing with continuous and analogue data — Theory of data and data-centric computing
Postgraduate students
- C M Chuang
- PhD - supervisor: A G Setzer
- M Gwynne
- PhD - supervisor: O Kullmann
- T Hou
- PhD - supervisor: U Berger
- P James
- PhD - supervisor: M Roggenbach
- K Kanso
- PhD - supervisor: A G Setzer
- A J Lawrence
- MRes - supervisor: M Seisenberger
- M Lewsey
- PhD - supervisor: O Kullmann
- M New
- PhD - supervisor: P D Mosses
- F Nordvall Forsberg
- PhD - supervisor: A G Setzer
- L O'Reilly
- PhD - supervisor: M Roggenbach
