This Department is a national leader in research, education and dissemination of computer science. Its researchers produce theoretical contributions which can be applied to cognitive science, artificial intelligence, pattern recognition, combinatorial design, verification models, complex systems, artificial life and image processing. Some of these studies have contributed to the development of solutions in the areas of health, education, mobility, urban planning, engineering, anthropology, linguistics, and basic biomedical research. While these lines of research will continue to add to the department’s development, we seek to extend them and increase their applications to other fields of study such as: graphing, visualization, computation theory and information theory.
The internal structure of the department is as follows:
- Image Processing Group.
- Pattern Recognition Laboratory.
- Golem Laboratory: Design and Construction of Service Robots.
- Self-organizing Systems Laboratory.
- Model Checking Laboratory.