Fundamentals of Computing
Cardiff Research Areas » Engineering and Physical Sciences » Information and communication technologies
Subordinate Areas
- Algebraic Computation
- Algebraic Methods
- Algorithms (Computing)
- Automata Theory
- Categories in Computing
- Coding Theory
- Communication theory
- Compiler Theory
- Computational Complexity
- Concurrency
- Constraint Satisfaction
- Cryptography
- Domain Theory
- Finite Element Methods
- Formal Methods
- Formal Verification
- Functional Programming
- Fundamental Computer Science
- Game Theory (Computing)
- Graph Colouring
- Learning Theory (Computing)
- Logic for Computer Science
- Modal Logic
- Model Checking (Computing)
- Operating Systems (Computing)
- Programming Languages
- Programming Languages - Concurrent
- Programming Languages - Distributed
- Proof Theory in Computing
- Quantum Cryptography
- Randomised Algorithms
- Reasoning in Computer Science
- Security (Computing)
- Semantics of Programming Languages
- Software Fundamentals
- Symbolic Computation
- Temporal Logic
- Theorem Proving
- Theoretical Computer Science
- Type Theory
- Uncertain Reasoning