Theoretical Computer Science

The more abstract and mathematical aspects of computing provide the theoretical foundations of informatics. It includes the analysis of algorithms and formal semantics of programming languages. Within this two main areas there are research fields like computational complexity, information theory, verification, algebra and logic among others.

Current research topics in this field may overlap with other ICT areas but addressed here from the theoretical point of view. They include:
  • Algorithms and data structures
  • Computational complexity
  • Cryptography
  • Privacy
  • Computational geometry
  • Graph theory
  • Combinatory
  • Optimisation
  • Randomness in computing
  • Approximation algorithms
  • Parallel and distributed computation
  • Machine learning
  • Applications of logic
  • Algorithmic algebra and coding theory
  • Computational game theory
  • Quantum computing
You are here: Computer Science Theoretical Computer Science