Computer Theory

Versión en Español

Objectives

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

Faculty

¤ Masters and Doctoral

¤ Masters