|
Dr. Adilson Luiz Bonifácio |
Verificação Formal e Teste Baseado em Modelos |
|
Dr. Alan Salvany Felinto |
Processamento de Imagens e Jogos Digitais |
|
Dr. Jacques Duílio Brancher |
Jogos Didáticos de Computador, Matemática Computacional, Arquitetura de Computadores. |
|
Dra. Jandira Guenka Palma |
Automação Industrial, Engenharia de Software, Modelagem e simulação |
|
Dra. Maria Angélica O. C. B |
Matemática Simbólica, Inteligência Artificial, Sistemas para Web |
|
Dr. Mario Lemes Proença Jr. |
Redes de Computadores, Gerência e Segurança de Redes, Governança de TIC |
|
Dr. Rodolfo Miranda de Barros |
Engenharia de Software e Governança de TIC |
|
Dr. Taufik Abrão |
Redes de Computadores Sem Fio e Alocação de Recursos |
|
Dr. Wesley Attrot |
Compiladores |