Pontifícia Universidade Católica do Rio Grande do Sul
FACULDADE DE INFORMÁTICA
PROGRAMA DE PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
Linhas de Pesquisas do PPGCC (em ordem alfabética)
Bioinformática e Computação Bioinspirada
Bioinformática;
Bioinformática
Estrutural;
Biomatemática; Modelagem e Simulação de
Processos Biológicos e Moleculares; Métodos e
Algoritmos para Predição da Estrutura Tridimensional
de Proteínas; Docagem Molecular; Dinâmica
Molecular; Planejamento de Fármacos Assistido por
Computador; Visualização em Modelagem e
Simulação; Mineração de Dados em Bioinformática.
Duncan Ruiz
Osmar de Souza
Computação Gráfica, Processamento de
Imagens, Realidade Virtual e Interação
Humano Computador
Interação Humano-Computador; Qualidade de Uso
de
Sistemas
Interativos
(Acessibilidade,
Comunicabilidade, Usabilidade); Interações Sociais;
Interação Multimodais; Interação em Ambientes
Virtuais; Processamento de Imagens; Imagens
Médicas; Aplicações de Computação Gráfica;
Realidade Virtual; Visão Computacional; Simulação
de Multidões; Simulação de Humanos Virtuais;
Animação Facial; Algoritmos Aplicados a Jogos e
Simulações em Tempo Real.




Isabel Harb Manssour
Márcio Pinho
Milene Silveira
Soraia Musse
Engenharia de Software e Banco de Dados
Processo de Desenvolvimento de Software; Gerência
de Projetos de Software; Engenharia de Software
para Sistemas Multiagentes; Desenvolvimento de
Software Guiado por Ontologias; Qualidade de
Software; Teste de Software; Modelagem de
Software; Desenvolvimento Distribuído de Software;
Metodologias Ágeis para Desenvolvimento de
Software; Engenharia de Software experimental;
Linha de Produto de Software; Reuso; Integração de
Técnicas de IHC e de Engenharia de Software;
Técnicas de Avaliação e design de Interfaces com
Usuário;
User
eXperience;
Descoberta
de
Conhecimento em Bases de Dados; Mineração de
Dados; Data Warehousing; Bancos de Dados Ativos
e Temporais; Modelagem e Controle de Processos de
Negócio; Workflows Científicos.






Avelino Zorzo
Duncan Ruiz
Milene Silveira
Rafael Prikladnicki
Rodrigo Coelho Barros
Sabrina dos Santos Marczak
Inteligência Computacional
Agentes Inteligentes; Linguagens de Programação
Orientada a Agentes; Agentes Cognitivos;
Planejamento
Automático;
Planejamento
Probabilístico; Raciocínio Autônomo; Computação
Semântica; Representação de Conhecimento;
Ontologias; Computação Ciente de Contexto; Web
Semântica;
Aprendizado
de
Ontologias;
Processamento de Linguagem Natural; Extração de
Informação Textual; Mineração de Textos, Geração
de Recursos Linguísticos Multi-língues; Sistemas
Multi-agentes; Sistemas Normativos; Comunicação
de Agentes; Verificação Formal de Sistemas Multiagentes; Aplicações de Sistemas Inteligentes;
Robótica; Computação Pervasiva; Mobilidade
Urbana; Rede Elétrica Inteligente; Análise de
Sentimentos; Análise de Perfil, Saúde.



Felipe Meneguzzi
Rafael Bordini
Renata Vieira
Processamento Paralelo e Distribuído
Processamento Paralelo e Distribuído; Arquiteturas
Paralelas; Sistemas Operacionais; Redes de
Computadores; Especificação Formal e Verificação de
Sistemas Distribuídos; Avaliação de Desempenho de
Sistemas; Modelagem Estocástica; Tolerância a
Falhas; Detecção de Falhas; Injeção de Falhas;
Modelos Teóricos para Tolerância a Falhas;
Segurança de Sistemas; Criptografia; Computação
em Nuvem; Grades Computacionais; Virtualização;
Gerência de Infraestrutura de TI; Computação de
Alto Desempenho; Algoritmos Paralelos; Paradigmas
de
Programação
Paralela;
Ambientes
de
Programação Paralela; Escalonamento; Modelagem
de Aplicações Paralelas; Computação Verde;
Avelino Zorzo
César De Rose
Fernando Dotti
Luiz Gustavo Fernandes
Paulo Fernandes
Tiago Ferreto
Pontifícia Universidade Católica do Rio Grande do Sul
FACULDADE DE INFORMÁTICA
PROGRAMA DE PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
Sistemas Embarcados e Sistemas Digitais
Sistemas Embarcados; Projeto de Software para
Sistemas Embarcados; sistemas Operacionais
Embarcados; Sistemas de Tempo Real; Virtualização
em Sistemas Embarcados; Middleware para Sistemas
Embarcados; RFID; Rede de Sensores sem Fio
(RSSF);
Arquitetura
de
Microprocessadores
Embarcados; Microeletrônica; Projeto de Circuitos
Integrados;
Comunicação
Intrachip;
Multiprocessamento Intrachip (Multi-core, MPSoC);
Redes Intrachip, Linguagens de Descrição de
Hardware; Prototipação em FPGA; Projeto VLSI
Visando ASICs; Verificação Funcional de Sistemas
VLSI; Testabilidade de Sistemas VLSI; Confiabilidade
em Hardware; Hardware para Aplicações Críticas;
Hardware Aplicado à Robótica; Circuitos e Sistemas
Assíncronos/GALS; Projeto de Sistemas Nãosíncronos; Sincronizadores; Modelagem de Sistemas
Embarcados; Modelos de Computação (MoCs);
Linguagens de Programação para Implementação de
MoCs, Aplicações em Telecomunicações.
Alexandre Amory
César Marcon
Fabiano Hessel
Fernando Moraes
Ney Calazans