Corpo Docente
De CInWiki
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:
Índice
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
