| | | | | | |

Research Areas

Algoritmos, Grafos e Combinatória

Research lines:

Combinatorial Optimization

Analysis of Algorithms

Computational Biology

Computational Geometry

Formal Languages and Automata

Numerical Computation

Arquitetura de Computadores, Compiladores e Design de Hardware

Research lines:

Computer Architecture

Design and Implementation of Virtual Machines

Digital Circuit Design and Test

Hardware and Software Integrated Design

Programming Languages and Compilers

Computação Visual e Inteligência Artificial

Research Lines:

Artificial Intelligence

Computer Graphics

Computer Vision

Content-based Image Retrieval

Image Processing

Machine Learning

Natural Language Processing

Pattern Analysis

Engenharia de software, Gerenciamento de Informações e Interfaces Homem-Computador

Research Lines:

Computational Ontologies

Fault Tolerance

Human-Computer Interfaces

Informatics on Education

Model Driven Engineering

Software Engineering

eScience

Research lines:

Computer Forensics

Geographical Data Management

Processing and Analysis of Biomedical Images

Projeto de Redes e Segurança de Dados

Research Lines:

Computer Cryptography

Computer Networks

Computer Security

Distributed Systems