Research Lines

Each of the lines represents a thematic core of the Program, addressing a specific set of problems. The Program consists of five Research Lines:

Computer Fundamentals: Researches theoretical foundations and abstract models that serve as a basis for systems, and also develops techniques to ensure correctness in software development. Topics of interest include specification and formal verification of competing and distributed systems, information theory for computing, development and analysis of the complexity of computational mathematical models.

Multimedia and Digital Signal Processing: It studies the processes and aspects related to the manipulation, processing, representation, coding, transmission and evaluation of multimedia content and digital signals, with emphasis on images and videos. The research line aims to investigate signal processing and the development of multimedia algorithms and architectures, as well as the mechanisms of representation, modeling and analysis with a focus on the best user experience.

Parallel and Distributed Systems: Develops research related to parallel and distributed processing environments. Topics such as programming and execution environments, mobile and pervasive computing and sustainable computing and architectures for parallel and distributed processing are addressed.

Digital and Embedded Systems: The research focuses on the specification, validation, verification, design and testing of digital and embedded systems, with particular attention to the investigation of the design of dedicated computer systems for specific applications involving hardware and software.

Intelligent Systems: Applies Artificial Intelligence concepts, techniques and tools to help solve conceptual and practical problems in computing and other areas of knowledge. Topics such as machine learning and computational learning theory, autonomous agents, multiagent systems and evolutionary computing are addressed.