Computer Theory

Versión en Español


Computer Theory studies the general properties of computing, whether it is natural, artificial, or imaginary. It searches answers for fundamental questions such as:

  1. What is a computing device? (sequential, parallel, distributed, biological, quantic)
  2. What is the cost of computing? (time, space, communication, program size)
  3. What can be efficiently computed and what does not? (Shortest cycle vs. longer)
  4. How to classify all problems according to their difficulty? (complexity)
  5. What cannot be computed? (whether a program is correct or not)

Research Lines

  • Language semantics
  • Mathematical logic and computational
  • Automata and formal languages
  • Algoritms
  • Distributed Computing
  • Computational geometry
  • Combinatory
  • Category theory


¤ Masters and Doctoral

¤ Masters