Corpo Docente

De CInWiki
Ir para: navegação, pesquisa

Segue abaixo a lista de professores do Centro de Informática, juntamente com seus logins, sites pessoais e áreas de interesse. A lista está atualizada de acordo com a tabela de ramais fornecida pelo site da Coordenação de Infraestrutura. Ainda não há informações sobre as áreas de interesse de alguns professores.

Para mais informações sobre os professores, visite também:

Lista de professores por nome

Nome Login Áreas de Interesse
Abel Guilhermino da Silva Filho agsf Projetos de sistemas embarcados low power, sistemas reconfiguráveis (FPGAS), algoritmos inteligentes para exploração de arquitetura, ambientes de projeto de sistemas embarcados.
Adriano Augusto de Morais Sarmento aams Ambientes de projeto de sistemas embarcados modelagem e síntese de interfaces hardware/software, co-simulação de sistemas heterogêneos.
Adriano Lorena Inácio de Oliveira alio Aprendizagem de máquina, redes neurais artificiais, algoritmos genéticos, otimização, sistemas inteligentes.
Alex Sandro Gomes asg Interação humano computador (computer human interaction), computer supported collaborative learning (CSCL).
Alexandre Cabral Mota acm Engenharia de software, projeto de sistemas críticos (concorrentes, distribuídos e orientados a objetos), métodos formais.
Alexandre Marcos Lins de Vasconcelos amlv Engenharia de software, qualidade de software, metodologias e processos de software, testes de software e ambientes e ferramentas case.
Aluízio Fausto Ribeiro Araújo aluizioa Sistemas inteligentes, redes neurais, algoritmos genéticos, vida artificial, aprendizagem de máquinas, sistemas dinâmicos, robótica, otimização.
Ana Carolina Salgado acs Banco de dados, integração de dados, sistemas sensíveis a contexto.
André Kunio de Oliveira Tiba akot --
André Luís de Medeiros Santos alms Programação funcional, compiladores e linguagens de programação.
Anjolina Grisi de Oliveira ago Teoria da computação e lógica aplicada à computação.
Augusto Cézar Alves Sampaio acas Engenharia de software, projeto de sistemas críticos (concorrentes, distribuídos e orientados a objetos), métodos formais e geração e seleção de testes a partir de modelos.
Bernadette Farias Lóscio bfl Banco de dados, integração de dados, web semântica, XML.
Carina Frota Alves cfa Engenharia de software, engenharia de requisitos, desenvolvimento baseado em COTS.
Carla Taciana Lima Lourenço Silva Schuenemann ctlls Engenharia de requisitos, desenvolvimento de software orientado a agentes, desenvolvimento de software orientado a aspectos, desenvolvimento de software dirigido por modelos e engenharia de linhas de produtos de software.
Carlos Alexandre Barros de Mello cabm Processamento de imagens, processamento de documentos, visão computacional, reconhecimento de padrões, processamento de sinais.
Carlos André Guimarães Ferraz cagf Sistemas distribuídos, aplicações, educação a distância, geoprocessamento, plataformas, corbadcom, modelo ODP (open distributed processing), redes de computadores, engenharia de software e TV digital.
Cleber Zanchettin cz Redes neurais artificiais, sistemas híbridos inteligentes, reconhecimento de padrões, reconhecimento de imagens.
Cristiano Coêlho de Araújo cca2 Electronic system level, modelagem e simulação de sistemas digitais e projeto de circuitos integrados.
Daniel Carvalho da Cunha dcunha Teoria das comunicações, códigos corretores de erros, teoria da informação aplicada e comunicações cooperativas.
Divanilson Rodrigo de Souza Campelo dcampelo Comunicações ópticas, redes de computadores, redes de telecomunicações, sistemas de computação.
Djamel Fewz Hadj Sadok jamel Redes de computadores, gerenciamento de redes e computação móvel.
Edna Natividade da Silva Barros ensb Hardware/software co-design, projeto de sistemas embarcados e arquitetura de computadores.
Edson Costa de Barros Carvalho Silva ecdbcf Inteligência computacional, redes neurais e processamento de imagens.
Eduardo Antônio Guimarães Tavares eagt Avaliação de desempenho, modelagem de processos de negócio, sistemas de tempo real, métodos formais, redes de Petri.
Fábio Queda Bueno da Silva fabio Engenharia de software experimental, planejamento e gerenciamento de projetos, gestão da inovação e empreendedorismo.
Fernando da Fonseca de Souza fdfd Banco de dados, interação homem-máquina, sistemas adaptativos e informática na educação.
Fernando José Castor de Lima Filho fjclf Programação orientada a aspectos, modularidade, tratamento de exceções, arquitetura de software e tolerância a falhas de software para sistemas distribuído.
Fernando Menezes Matos fmm3 --
Flávia de Almeida Barros fab Inteligência artificial, informática na educação e processamento de linguagem natural.
Francisco de Assis Tenório de Carvalho fatc Classificação supervisionada e não supervisionada, taxonomia numérica e agrupamento conceitual.
Frederico Luiz Goncalves de Freitas (Fred) fred Inteligência artificial simbólica, representação de conhecimento, ontologias e web semântica, recuperação inteligente de informação na web e gestão de conhecimento.
Geber Lisboa Ramalho glr Agentes inteligentes, entretenimento digital, inteligência artificial, jogos digitais, computação musical.
George Darmiton da Cunha Cavalcanti gdcc Reconhecimento de padrões, processamento de imagens e redes neurais artificiais.
Germano Crispin Vasconcelos gcv Mineração de dados, sistemas híbridos, redes neurais e sistemas de apoio à decisão.
Gurvan Nicolas Huiban ghuiban Pesquisa operacional, otimização, matemática computacional.
Hermano Perrelli de Moura hermano Semântica de linguagens de programação, gestão de tecnologia da informação, comércio eletrônico e empreendedorismo.
Ivan Gesteira da Costa Filho igcf Biologia computacional, transcriptômica, redes regulatárias, aprendizagem de máquina, algoritmos de agrupamento e redes bayesianas.
Jacques Pierre Louis Robin jr Inteligência artificial e agentes inteligentes, engenharia da linguagem e linguística computacional, recuperação e extração de informação em internet/intranet, descoberta de conhecimento em banco de dados e mineração de dados, banco de dados dedutivos, orientado a objetos e ativos e programação em lógica e programação declarativa multi-paradigma.
Jaelson Freire Brelaz de Castro jbc Engenharia de software, engenharia de requisitos, orientação a aspectos e orientação a objeto.
José Antônio Monteiro de Queiroz zeque Técnicas de descrição formal, engenharia de software, especificação de protocolos de comunicação, sistemas distribuídos e especificações gráficas.
José Augusto Suruagy Monteiro suruagy Redes de computadores de alta velocidade e avaliação de desempenho.
José Carrera Álvares Neto jca --
José Gilson de Almeida Teixeira Filho jgatf Engenharia de Software, Planejamento Estratégico de Sistemas de Informação e Tecnologia da Informação, Gerenciamento de Projetos.
Judith Kelner jk Multimídia, realidade virtual e interfaces sistemas de autoria informática na educação.
Juliano Manabu Iyoda jmi Verificação formal de hardware e software, provadores de teoremas e testes de software.
Katia Silva Guimarães katiag Biologia computacional, redes reguladora(s) de gene(s) e redes de interação proteína/domínio, biológica, redes associadas a doenças e algoritmos e teoria dos grafos.
Kelvin Lopes Dias kld Redes sem fio, computação ubíqua, internet das coisas, rádio cognitivo e virtualização de redes.
Kiev Santos da Gama* kiev Engenharia de software baseada em componentes, sistemas distribuídos, internet das coisas e cidades inteligentes.
Leandro Maciel Almeida lma3 Inteligência computacional, computação evolucionária, mineração de dados, reconhecimento de padrões, sistemas inteligentes híbridos, redes neurais artificiais.
Leopoldo Motta Teixeira lmt Engenharia de software, linhas de produtos de software, métodos formais, provadores interativos de teoremas, verificação e validação de software, testes, análise estática.
Liliane Rose Benning Salgado liliane Análise e projeto de algoritmos, algoritmos de aproximação, teoria da complexidade, otimização combinatória e teoria dos grafos.
Manoel Eusebio de Lima mel Prototipação de sistemas digitais, hardware/software codesign, layout de circuitos integrados e sistemas reconfiguráveis.
Marcelo Bezerra d´Amorim damorim Verificação e validação de software, software model checking e testes, análise estática e resolução de restrições.
Marcília Andrade Campos mac Análise de desempenho de sistemas, aritmética de exatidão máxima, matemática computacional e probabilidade.
Márcio Lopes Cornélio mlc2 Engenharia de software, métodos formais, projetos de sistemas críticos, transformação de programas.
Maria das Graças dos Santos mgs4 --
Nelson Souto Rosa nsr Sistemas distribuídos, arquitetura de software, requisitos não-funcionais e middleware.
Odilon Maroja da Costa Pereira Filho odilon Análise de antenas, antenas conformais, métodos numéricos aplicados em teoria eletromagnético, sensoriamento remoto.
Orivaldo Vieira de Santana Júnior ovsj Processamento de imangens, Inteligência Artificial, Robótica, Redes Neurais, Sistemas Multi-Agentes, e Software Livre.
Patricia Cabral de Azevedo Restelli Tedesco pcart Inteligência artificial, sistemas multi-agentes, educação a distância e trabalho cooperativo apoiado por computador.
Paulo Andre da Silva Gonçalves pasg Redes de computadores e computação móvel.
Paulo Gustavo Soares da Fonseca paguso Biologia computacional, processamento de cadeias, grafos e redes de regulação, aprendizagem de máquina.
Paulo Henrique Monteiro Borba phmb Desenvolvimento de pesquisas em engenharia de software e linguagens de programação, linguagens e desenvolvimento orientados a aspectos, linhas de produtos de software, refactoring e transformação de programas e modelos.
Paulo Jorge Leitao Adeodato pjla Sistemas de apoio a decisão, mineração de dados, análise de risco financeiro, redes neurais e reconhecimento de padrões.
Paulo Roberto Freire Cunha prfc Sistemas distribuídos, especificação formal e arquitetura de software.
Paulo Romero Martins Maciel prmm Avaliação de desempenho, redes de Petri, sistemas embarcados e sistemas de manufatura.
Pedro Machado Manhães de Castro pmmc Geometria computacional, geometria discreta, processamento de geometria.
Rafael Dueire Lins rdl Processamento de imagens, engenharia de documentos (aquisição, filtragem, transcrição, indexação, compressão, etc.), otimização de código em uniprocessadores e máquinas paralelas, gerenciamento de memória (garbage collection).
Renata Maria Cardoso Rodrigues de Souza rmcrs Análise de dados numéricos e simbólicos, aprendizagem de máquina, mineração de dados e estatística aplicada.
Ricardo Bastos Cavalcante Prudêncio rbcp Inteligência artificial, aprendizado de máquina sistemas híbridos meta-aprendizado, recuperação de informação e mineração de texto.
Ricardo Martins De Abreu Silva rmas Otimização combinatória e grafos, pesquisa operacional, programação matemática, inteligência computacional, biologia computacional, metaheurísticas, redes de computadores.
Ricardo Massa Ferreira de Lima rmfl Implementação e otimização de compiladores, modelagem e avaliação de desempenho de sistemas, mineração de processos e redes de Petri.
Roberto Souto Maior de Barros roberto Engenharia de software, XML, bancos de dados e linguagens de programação.
Robson do Nascimento Fidalgo rdnf Banco de dados, ferramentas case, integração de sistemas, sistemas de informações geográficas (SIG), sistemas de suporte à decisão (SSD), banco de dados geográficos (BDG), processamento analítico de dados (OLAP) e data warehouse (DW).
Ruy Jose Guerra Barreto de Queiroz ruy Lógica e computação, fundamentos teóricos da computação, teoria da prova, teoria de modelos e fundamentos da criptografia.
Sérgio Castelo Banco Soares scbs Desenvolvimento de software orientados a aspectos, linhas de produtos de software, engenharia de software experimental, orientação a objetos e testes de software.
Sérgio Ricardo de Melo Queiroz srmg Teoria da decisão, análise multicritério, recomendação, otimização combinatória, pesquisa operacional, aprendizagem de máquina, inteligência artificial.
Sergio Vanderlei Cavalcante svc Engenharia de sistemas embarcados, hardware-software co-design e sistemas de tempo real.
Silvio de Barros Melo sbm Computer aided geometric design (CAGD), computação gráfica e aplicações e aplicações da geometria computacional.
Silvio Romero de Lemos Meira srlm Engenharia de software, performance e segurança de sistemas de informação e redes sociais.
Simone Cristiane dos Santos scs Sistemas de informação: e-business; BPM - gestão de processos de negócios; governança em tecnologia da informação. Engenharia de software: gestão de projetos; qualidade de software. Educação em TIC: modelos inovadores de aprendizado; PBL - aprendizado baseado em problemas reais.
Sóstenes Luiz Soares Lins sostenes Combinatória, grafos, otimização discreta, otimização combinatória, topologia combinatória, grafos e algoritmos, cálculos diagramáticos, heurísticas em otimização.
Stênio Flávio De Lacerda Fernandes sfkf Medição, análise e modelagem de tráfego na internet, virtualização de redes, gerenciamento de mobilidade em redes heterogêneas, avaliação de desempenho de sistemas em redes, sistemas multimídia na internet.
Teresa Bernada Ludermir tbl Redes neurais artificiais, computabilidade e teoria dos autômatos.
Thiago Souto Maior Cordeiro de Farias tsmcf --
Tsang Ing Ren tir Processamento de imagens, visão computacional, inteligência artificial, reconhecimento de padrão, bioinformática, simulação computacional.
Valeria Cesario Times vct Sistemas de banco de dados, sistemas de suporte a decisão, sistemas de informação geográfica, banco de dados não-convencionais, raciocínio espacial qualitativo, sistemas de data warehouse e OLAP, mineração de dados espaciais, sistemas de GPS e de objetos móveis, banco de dados espaço-temporais e nebulosos, sistemas de informações financeiras.
Veronica Teichrieb vt Realidade aumentada, realidade virtual (modelagem e simulação gráfica e física) e interação 3d.
Vinícius Cardoso Garcia vcg Reuso de software, linhas de produtos de software, arquitetura de software, reengenharia de software, refactoring, computação na nuvem, computação social, educação em engenharia de software.

Lista de professores por sub-área

A divisão a seguir considera as principais áreas nas quais os professores tem interesse, de acordo com a tabela anterior. Alguns professores podem aparecer em mais de uma sub-área. Pode ser que algum professor esteja faltando em alguma área, ou que algum professor esteja listado erroneamente em outra. Neste caso, sinta-se livre para editar o artigo e corrigir o erro.

Banco de dados

  • Ana Carolina Salgado
  • Bernadette Farias Lóscio
  • Fernando da Fonseca de Souza
  • Robson do Nascimento Fidalgo
  • Roberto Souto Maior de Barros
  • Valeria Cesario Times

Engenharia de software

  • Alexandre Cabral Mota
  • Alexandre Marcos Lins de Vasconcelos
  • Augusto Cézar Alves Sampaio
  • Carina Frota Alves
  • Carlos André Guimarães Ferraz
  • Fábio Queda Bueno da Silva
  • Jaelson Freire Brelaz de Castro
  • José Antônio Monteiro de Queiroz
  • José Gilson de Almeida Teixeira Filho
  • Kiev Santos da Gama
  • Leopoldo Motta Teixeira
  • Márcio Lopes Cornélio
  • Paulo Henrique Monteiro Borba
  • Roberto Souto Maior de Barros
  • Sérgio Castelo Banco Soares
  • Silvio Romero de Lemos Meira
  • Simone Cristiane dos Santos
  • Vinícius Cardoso Garcia

Inteligência artificial

  • Adriano Lorena Inácio de Oliveira
  • Aluízio Fausto Ribeiro Araújo
  • Cleber Zanchettin
  • Edson Costa de Barros Carvalho Silva
  • Flávia de Almeida Barros
  • Frederico Luiz Goncalves de Freitas
  • Geber Lisboa Ramalho
  • George Darmiton da Cunha Cavalcanti
  • Germano Crispin Vasconcelos
  • Jacques Pierre Louis Robin
  • Leandro Maciel Almeida
  • Orivaldo Vieira de Santana Júnior
  • Patricia Cabral de Azevedo Restelli Tedesco
  • Paulo Jorge Leitao Adeodato
  • Renata Maria Cardoso Rodrigues de Souza
  • Ricardo Bastos Cavalcante Prudêncio
  • Sérgio Ricardo de Melo Queiroz
  • Teresa Bernada Ludermir
  • Tsang Ing Ren

Linguagens de programação

  • André Luís de Medeiros Santos
  • Fernando José Castor de Lima Filho
  • Hermano Perrelli de Moura
  • Paulo Henrique Monteiro Borba

Computação / processamento gráfico

  • Judith Kelner
  • Silvio de Barros Melo
  • Veronica Teichrieb

Redes de computadores / comunicações

  • Divanilson Rodrigo de Souza Campelo
  • Djamel Fewz Hadj Sadok
  • José Augusto Suruagy Monteiro
  • Paulo Andre da Silva Gonçalves