Potential supervisor
|
Research topics
|
Dr Daniel Archambault
|
- Visualization, information visualization (particularly dynamic data)
- Social media and network visualization and some analysis
- Perceptual issues in visualization
- Graph drawing and network visualization
- Interface design and HCI
|
Prof Arnold Beckmann
|
- Logic in Computer Science
- Proof Theory
- Proof Complexity and Bounded Arithmetic
- Logic and Computation, Proofs as Programs
- Formal Methods
- Design of Cyber Physical Systems
- Model Driven Software Engineering
- Modeling in Industry 4.0 context and Digital Twins
|
|
- Logic for computer science
- Functional programming
- Interactive theorem proving
- Program verification
- Program extraction
- Semantics of programming languages
|
Dr Jens Blanck
|
- Computability
- Domain theory
- Exact real arithmetic
- Continuous data types
- Topological spaces
|
Prof Matt Jones
|
- HCI: special interest in mobile and ubiquitous systems
- Context-based systems
- Infrastructures and interactions for challenging environments
|
Dr Mark W Jones
|
- Computer Graphics (global illumination)
- Visualisation (particularly biological or sports data)
- Volume visualisation
- Information visualisation
|
Dr Oliver Kullmann
|
- Satisfiability (SAT)
- Algorithms
- Complexity theory
- Combinatorics
- Data analysis
- Philosophy
|
Dr Robert S Laramee
|
- Data visualization
- Data analysis
- Information visualization
- Scientific visualization
- Computer graphics
- Human factors
|
Dr Stephen Lindsay
|
- Understanding attitudes towards Nanohealth
- Designing around attitudes towards Nanohealth
|
Prof Faron G Moller
|
- Concurrency theory
- Modal and temporal logics
- Formal verification
|
Dr Benjamin Mora
|
- Ray-tracing
- Global illumination
- Image and volume representations
- 3D displays
- High Performance Computing
|
Dr Arno Pauly
|
- Computability theory; Computable analysis
- Descriptive set theory; topology
- Algorithmic game theory; reactive synthesis
|
Dr Markus Roggenbach
|
- Specification languages and their semantics
(CSP, Timed-CSP, CASL)
- Verification
- Testing
- Tool development
- Knowledge transfer
|
Dr Monika Seisenberger
|
- Extraction of programs from proofs
- Modelling, specification, and verification
- Verification of railway control systems
- Interactive theorem proving
- Logic and proof theory
- Formal methods in security and cyberterrorism
|
Dr Anton Setzer
|
- Proof theory
- Type theory
- Constructive mathematics
- Interactive theorem proving
- Agda
- Programming with dependent types
- Verification of critical systems
- Verification of railway interlocking systems
|
Dr Gary Tam
|
- Data visualization
- Geometry processing
- Computer vision
- Pattern matching
|
Prof Harold W Thimbleby
|
- Safe design, particularly user interfaces in healthcare
- Human-computer interaction, particularly in healthcare
- Human error and computers
- The public understanding of science
|
Prof John V Tucker
|
- Abstract data types and computability theory
- Theory of programming and specification
- Physical foundations of computation
- History of computing
- Technical, social, and cultural aspects of technological development
- History of science in Wales
|
Dr Xianghua Xie
|
- Computer vision
- Image processing
- Medical imaging
- Pattern recognition
- Big data and machine learning
|