Liliane Rose Benning Salgado

Possui graduação em Matematica pela Universidade Federal de Pernambuco (1992), mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (1996) e doutorado em Ciências da Computação pela Universidade de São Paulo (2004). Atualmente é Professora Adjunto 1 do Centro de Informática da Universidade Federal de Pernambuco. Tem experiência na área de Teoria da Computação, com ênfase em Análise e Projeto de Algoritmos, otimização combinatória, Teoria dos Grafos e Complexidade Computacional. .

Informações coletadas do Lattes em 26/08/2025

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação

1998 - 2004

Universidade de São Paulo
Título: Algoritmos de Aproximação para Partições Conexas em Grafos
Yoshiko Wakabayashi. Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: algoritmos de aproximação; esquema deaproximação polinomial; grafos k-conexos; inaproximabilidade; partição conexa balanceada; partição de grafos. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação. Setores de atividade: Educação Superior.

Mestrado em Ciências da Computação

1994 - 1996

Universidade Federal de Pernambuco
Título: Aproximabilidade de Problemas de otimização NP-Completos em Grafos,Ano de Obtenção: 1996
Katia Silva Guimarães.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Graduação em Matematica

1986 - 1992

Universidade Federal de Pernambuco

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise e Projeto de Algoritmos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Algoritmos de Aproximação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Otimização Combinatória.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Teoria dos Grafos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Complexidade Computacional.

Participação em eventos

IBM ACM International Collegiate Programming Contest - World Finals.Treinadora do Time UFPE de Maratona de Programacao. 2014. (Outra).

IBM ACM International Collegiate Programming Contest - Brazilian First Phase.Treinadora do Time UFPE de Maratona de Programacao. 2014. (Outra).

ACM International Collegiate Programming Contest - ACM ICPC Wor.Treinadora do Time UFPE de Maratona de Programacao. 2013. (Outra).

IBM ACM International Collegiate Programming Contest - Brazilian First Phase.Treinadora do Time UFPE de Maratona de Programacao. 2013. (Outra).

IBM ACM International Collegiate Programming Contest - South America / Brazil Finals.Treinadora do Time UFPE de Maratona de Programacao. 2013. (Outra).

ACM International Collegiate Programming Contest - ACM ICPC Wor.Treinadora do Time UFPE de Maratona de Programacao. 2012. (Outra).

ACM International Collegiate Programming Contest - Brazilian Firs.Treinadora do Time UFPE de Maratona de Programacao. 2012. (Outra).

ACM International Collegiate Programming Contest - ACM ICPC South America Regi.Treinadora do Time UFPE de Maratona de Programacao. 2012. (Outra).

ACM International Collegiate Programming Contest - Brazilian First Ph.Treinadora do Time UFPE de Maratona de Programacao. 2011. (Outra).

ACM International Collegiate Programming Contest - ACM ICPC South America Regional.Treinadora do Time UFPE de Maratona de Programacao. 2011. (Outra).

ACM International Collegiate Programming Contest - ACM ICPC World Fi.Treinadora do Time UFPE de Maratona de Programacao. 2010. (Outra).

ACM International Collegiate Programming Contest - ACM ICPC World Finals.Treinadora do Time UFPE de Maratona de Programacao. 2009. (Outra).

ACM International Collegiate Programming Contest - ACM ICPC Brazilian First Phase.coach da equipe CIn-UFPE de maratona de programação. 2009. (Outra).

ACM International Collegiate Programming Contest - ACM ICPC South America Regional Con.Treinadora do Time UFPE de Maratona de Programacao. 2009. (Outra).

ACM International Collegiate Programming Contest - Brazilian First Phase.coach da equipe CIn-UFPE de maratona de programação. 2008. (Outra).

ACM International Collegiate Programming Contest - ACM ICPC South America Regional Contest.coach da equipe CIn-UFPE de maratona de programação. 2008. (Outra).

ACM International Collegiate Programming Contest - ACM ICPC Brazilian First Phase.Coach da equipe do CIn-UFPE de maratona de programação. 2007. (Outra).

ACM International Collegiate Programming Contest - ACM ICPC South America Regional Contest.Coach da equipe CIN-UFPE de maratona de programação. 2007. (Outra).

CompBioNets'04 - Algorithms and Computational Methods for Biochemical and Evolutionary Networks..CompBioNets'04 - Algorithms and Computational Methods for Biochemical and Evolutionary Networks.. 2004. (Simpósio).

Workshop on Combinatorics, Algorithms and Applications..Workshop on Combinatorics, Algorithms and Applications.. 2003. (Encontro).

GRACO - Brazilian Symposium on Graphs, Algorithms and Combinatorics.GRACO - Brazilian Symposium on Graphs, Algorithms and Combinatorics. 2001. (Simpósio).

CIMPA Summer School on Algorithms and Combinatorics.CIMPA Summer School on Algorithms and Combinatorics. 2001. (Outra).

Workshop em Algoritmos de Aproximação.Workshop em Algoritmos de Aproximação. 2000. (Encontro).

Worshop sobre Combinatória e Estruturas Discretas.Worshop sobre Combinatória e Estruturas Discretas. 2000. (Encontro).

Workshop sobre Combinatória e Estruturas Discretas.Workshop sobre Combinatória e Estruturas Discretas. 1999. (Encontro).

Workshop sobre Combinatória e Estruturas Discretas.Workshop sobre Combinatória e Estruturas Discretas. 1999. (Encontro).

WSP'96 - Third South American Workshop on String Processing. Estudante. 1996. (Congresso).

ESA'96.ESA'96 - Fourth Annual European Symposium on Algorithms. 1996. (Simpósio).

ASHCOMP'96.ASHCOMP'96 - School and Workshop on Approximate Solution of Hard Combinatorial Problems. 1996. (Outra).

WSP'95. WSP'95 - Second South American Workshop on String Processing. 1995. (Congresso).

LATIN'95.LATIN'95 - Second International Symposium of Latin American Theoretical Informatics. 1995. (Simpósio).

SBC'94. SBC'94 - Congresso da Sociedade Brasileira de Computação. 1994. (Congresso).

JAI'94.JAI'94. 1994. (Oficina).

IX Escola de Computação.IX Escola de Computação. 1994. (Outra).

Participação em bancas

Aluno: Arianne de Oliveira Albuquerque

SOUZA, R. M. C. R.;SALGADO, L. R. B.; AMARAL, G.. Classsificador Inteligente Híbrido para Grandes Bases de Dados. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Leonardo Augusto Domingues Severo Ribeiro

SALGADO, L. R. B.; SOUZA, R. M. C.; QUEIROZ, R. J. G. B.. Protocolo Seguro para Leilões Eletrônicos Reversos Adicionando Tratamento para Ataques do Tipo Collusive Shill Bidding e Sniping. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Ricardo Enrique Pereira Scholz

SALGADO, L. R. B.; Ferneda, E.; Ramalho, G.. Reconhecimento de Acordes em Sequências Capturadas por Violões MIDI. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: José Tiago de Albuquerque Lins Rolim

SALGADO, L. R. B.; CIFERRI, R. R.; TIMES, V. C.. Mapa de Cubos: Uma Estrutura de Dados Agregados para DWE. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Luis Josué da Silva Filho

Guimaraes, K. S.; COSTA, E. B.;SALGADO, L. R. B.. Estratégias de Partições Mistas para o Problema da Patrulha. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Renato Pinheiro Freme Lopes Lucindo

Wakabayashi, Y.SALGADO, L. R. B.; FERREIRA, C. E.. Particao de grafos em subgrafos conexos balanceados. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Gleifer Vaz Alves

SALGADO, L. R. B.Guimaraes, K. S.; Bedregal, B. R. C.; PEREIRA, L. C. P. D.; Haeuseler, E. H.. Transformations for Proof-graphs with Cycle Treatment Augmented via Geometric Perspective Techniques. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Sergio da Silva Aguiar

SALGADO, L. R. B.; Bedregal, B. R. C.; Haeuseler, E. H.; Martins, A. T. C.; Aciolly, B. M.. Uma análise de auto-referência baseada em fluxos semânticos. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Emmanuel Felix Lopes da Silva

SALGADO, L. R. B.; Netto, F. M.; Coniglio, M. E.; Biancone, R.; Bedregal, B. R. C.. Caracterização aritmética em primeira ordem de funções computáveis em espaço polinomial. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Sérgio Eduardo Pessoa do Nascimento Filho

TEDESCO, P. C. A. R.;SALGADO, L. R. B.. FERRAMENTA PARA SELEÇÃO DE PROBLEMAS PARA PROGRAMAÇÃO COMPETITIVA. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco.

Aluno: Pedro Victor Alves Silvestre

TEDESCO, P. C. A. R.;SALGADO, L. R. B.. Estudo e implementação de um sistema web colaborativo para auxílio no ensino de algoritmos e estruturas de dados. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Pedro Henrique Atanásio e Silva

SALGADO, L. R. B.; OLIVEIRA, A. G.. O Problema da K-Cobertura em Redes de Sensores Sem Fios. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco.

Aluno: Ranieri Valença de Carvalho

Guimaraes, K. S.SALGADO, L. R. B.. Uma Ferramenta Web para Inferência de Haplótipos. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Amirton Bezerra Chagas

SALGADO, L. R. B.; OLIVEIRA, A. G.. Testes de Primalidade: Uma Visão Computacional. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Max José Lins Timóteo

SALGADO, L. R. B.; FREITAS, F.. Extraindo informações de referências bibliográficas automaticamente. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Jorge Ferraz de Oliveira Filho

TEDESCO, P. C. A. R.;SALGADO, L. R. B.. Aquisição de contexto baseada em agentes em um gerenciador de contextos aplicado a sistemas colaborativos. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Vladmir de Abreu e Lima

SHERIF, A.;SALGADO, L. R. B.; GUSMAO, C. M. G.. Avaliação de Modelos de Gerência de Portfólio sob a perspectiva da Gerência de Projetos - PMBOK. 2004. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdade Integrada do Recife.

SAMPAIO, P. A.;SALGADO, L. R. B.; ARAUJO, F. E. S.. CONCURSO PÚBLICO DE PROVAS E TÍTULOS PARA PROFESSOR ASSISTENTE I EM REGIME DE DEDICAÇÃO EXCLUSIVA, ÁREA DE INFORMÁTICA, MATÉRIAS TEORIA DA COMPUTAÇÃO; MATEMÁTICA DISCRETA; PROJETO DE COMPILA DORES; PRÁTICA DE ENSINO DE COMPUTABILIDADE. 2013. Universidade Federal Rural de Pernambuco.

MELO, J. C. B.; SANTOS, M. S.;SALGADO, L. R. B.. Seleção Pública de Provas e Títulos para Professor Adjunto 1. 2009. Universidade Federal Rural de Pernambuco.

Oliveira, W.R.; MELO, J. C. B.;SALGADO, L. R. B.. Seleção Pública de Provas e Títulos para Professor Adjunto 1. 2009. Universidade Federal Rural de Pernambuco.

MELO, J. C. B.; LINS, F. A. A.;SALGADO, L. R. B.. Seleção Pública de Provas e Títulos para Professor Assistente 1. 2008. Universidade Federal Rural de Pernambuco.

SALGADO, L. R. B.. V Congresso de Computação do Sul de Mato Grosso (COMPSULMT 2013). 2013. Universidade Federal de Mato Grosso.

SALGADO, L. R. B.. Comissao Interna de Avaliacao dos projetos referentes referentes ao Edital no 01/2011 - Apoio a Melhoria dos Cursos de Graduacao. 2011. Universidade Federal de Pernambuco.

Orientou

Cristiano Gonçalves de Melo

Otimização da Distribuição de Reserva Técnica de Transformadores para Instrumentos em Sistemas de Transmissão; Início: 2009; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);

Amirton Bezerra Chagas

Algoritmos para teste de primalidade; Início: 2009; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; (Orientador);

Cristiano Gonçalves de Melo

Modelo de Otimização da Distribuição de Reserva Técnica de Transformadores para Instrumentos em Sistemas de Transmissão; 2011; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco,; Coorientador: Liliane Rose Benning Salgado;

Bruno Almeida de Jesus

Uma Abordagem Algorítmica Eficiente para Identificação por Rádio Freqüência (RFID); 2010; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco,; Coorientador: Liliane Rose Benning Salgado;

Luis Josué da Silva Filho

Estratégias de Partições Mistas para o Problema da Patrulha; 2008; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco,; Orientador: Liliane Rose Benning Salgado;

Sérgio Eduardo Pessoa do Nascimento Filho

FERRAMENTA PARA SELEÇÃO DE PROBLEMAS PARA PROGRAMAÇÃO COMPETITIVA; 2014; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Liliane Rose Benning Salgado;

Pedro Victor Alves Silvestre

Estudo e implementação de um sistema web colaborativo para auxílio no ensino de algoritmos e estruturas de dados; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Liliane Rose Benning Salgado;

Pedro Henrique Atanásio e Silva

O problema da k-cobertura em redes de sensores sem fio; 2012; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Liliane Rose Benning Salgado;

Artur Ribeiro de Aquino

Otimização em grafos: árvores geradoras com restrições; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Liliane Rose Benning Salgado;

Amirton Bezerra Chagas

Testes de Primalidade: uma visao computacional; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Liliane Rose Benning Salgado;

Breno Araujo do Vale

Estudo e implementação de algoritmos de aproximação para bipartições conexas em grafos; 2007; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Liliane Rose Benning Salgado;

Francisco Ferreira Paz Junior

Algoritmos de Aproximação para Partições Conexas em Grades (Grids); 2005; Iniciação Científica; (Graduando em Sistemas de Informação) - Faculdade Integrada do Recife; Orientador: Liliane Rose Benning Salgado;

Leandro Santos do Nascimento

Bipartições Conexas em Grafos; 2005; Iniciação Científica; (Graduando em Sistemas de Informação) - Faculdade Integrada do Recife; Orientador: Liliane Rose Benning Salgado;

Thiago de Vasconcelos Passos

Algoritmos de Aproximação para Partições Conexas em Grafos; 2004; Iniciação Científica; (Graduando em Sistemas de Informação) - Faculdade Integrada do Recife; Orientador: Liliane Rose Benning Salgado;

Produções bibliográficas

  • CHATAIGNER, F. ; SALGADO, L. R. B. ; Wakabayashi, Y. . Approximation and Inaproximability Results on Balanced Connected Partitions of Graphs. Discrete Mathematics and Theoretical Computer Science (Online) , v. 9, p. 177-192, 2007.

  • MELO, C. G. ; SOUZA, R. M. C. R. ; SALGADO, L. R. B. . Assessing Reliability of Substation Spare Current Transformer System. In: International Conference on Neural Information Processing (ICONIP2012), 2012, Doha, Qata. Lecture Notes in Computer Science Proceedings of the 19th International Conference on Neural Information Processing. Heidelberg: Springer-Verlag, 2012. v. 2. p. 660-667.

  • JESUS, B. ; SALGADO, L. R. B. ; GONCALVES, P. A. S. . Um Protocolo Híbrido de Anti-colisão de Etiquetas para Sistemas RFID. In: XXIX Simpósio Brasileiro de Telecomunicações (SBrT), 2011, Curitiba. XXIX Simpósio Brasileiro de Telecomunicações (SBrT), 2011.

  • SALGADO, L. R. B. ; Guimaraes, K. S. . On the Approximability of the Maximum Weighted Balance Problem. In: CLEI'97, 1997, Valparaíso. CLEI'97, 1997. p. 211-220.

  • VALE, B. A. ; SALGADO, L. R. B. . Estudo e implementação de algoritmos de aproximação para bipartições conexas balanceadas em grafos. In: XV congresso de iniciacao cientifica da UFPE, 2007, recife. XV CONIC - congresso de iniciacao cientifica da UFPE, 2007.

  • SALGADO, L. R. B. ; Wakabayashi, Y. . Approximation Results on Balanced Connected Partitions of Graphs. In: Latin-American Conference on Combinatorics, Graphs and Applications, 2004, Chile. Special Issue of ENDM - LACGA'04 (versão completa submetida para revista), 2004. v. 18. p. 207-212.

  • SALGADO, L. R. B. ; Wakabayashi, Y. . Approximation Algorithms for Partitioning a Graph into Connected Subgraphs. In: 18th International Symposium on Mathematical Programming, 2003, Copenhagen. Proceedings of ISMP 2003, 2003. p. 122-122.

  • CHATAIGNER, F. ; SALGADO, L. R. B. ; Wakabayashi, Y. . Approximation and Inaproximability Results on Balanced Connected Partitions of Graphs. Discrete Mathematics and Theoretical Computer Science (Online) , 2007.

  • SALGADO, L. R. B. . Maratona de Programação. 2009. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções

SALGADO, L. R. B. ; CAMPOS, M. A. . Gestão do Despacho de Serviços em Situação de Contigência. 2005.

SALGADO, L. R. B. ; NASSAU, F. M. . Projeto do Curso Superior de Tecnologia em Redes de Computadores da Faculdade Mauricio de Nassau (aguardando liberação pelo MEC). 2004.

SALGADO, L. R. B. . Simulando um hipercubo sobre uma rede de transputers. 1995.

Projetos de pesquisa

  • 2012 - 2013

    Renovação Ética, Descrição: Neste projeto uma rede social política online será especificada e implementada. E envolverá conceitos e métodos das áreas de engenharia de software, serviços web, sistemas colaborativos, análise de redes sociais, teoria dos grafos, otimização combinatória e estatística. Atividades realizadas: Reuniões com o partido PSL através do atual delegado da sigla, a saber, Sérgio Bivar. Nestes encontros, obtivemos os requisitos iniciais da plataforma a ser desenvolvida. Configuramos uma visão geral da ferramenta, ainda em forma bem incipiente. A greve do ano passado e as últimas eleições contribuíram para o atraso nas negociações. Estamos no aguardo da diretoria do referido partido para oficializarmos o interesse e darmos prosseguimento a contratação. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Liliane Rose Benning Salgado - Coordenador.

  • 2012 - Atual

    Otimização da Distribuição de Reserva Técnica de Transformadores para Instrumentos em Sistemas de Transmissão, Descrição: Desenvolver um software que otimizará a distribuição da reserva técnica de transformadores para instrumentos. Além disso, estudaremos a viabilidade de se definir novos locais de armazenamento, objetivando a distribuição ótima dos equipamentos, para reduzir o tempo de atendimento nas manutenções.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Liliane Rose Benning Salgado - Integrante / Patricia Carvalho de Azevedo Restelli Tedesco - Coordenador / Renata Maria Cardoso Rodrigues de Souza - Integrante.

  • 2012 - Atual

    ALEN Algorithm Learning Environment, Descrição: Este projeto almeja a especificação e implementação de uma sistema web-based colaborativo para auxílio no ensino de algoritmos e estruturas de dados. O objetivo é a criação de um ambiente com conteúdo educacional para uso nos cursos de análise e projeto de algoritmos. Este será constituído por ferramentas de visualização de algoritmos e incorporará outros softwares já em uso no CIn-UFPE, como servidor de submissão e correção de listas de exercícios; um grupo de discussão e conteúdo da disciplina como programação didática, monitoria, aulas práticas, listas de exercícios, entre outros. Pretendemos também inserir um espaço de vídeos-aulas sobre os tópicos abordados, assim como jogos interativos que sirvam como exemplos para os aluno envolvidos. . , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Liliane Rose Benning Salgado - Coordenador.

  • 2007 - 2009

    Técnicas de Otimização para Problemas Combinatórios (Edital MCT/CNPq 15/2007 - Universal, Proc. 486124/2007-0), Descrição: Descrição: Otimização Combinatória é a área da matemática que estuda métodos para encontrar pontos ótimos (máximo ou mínimo) de uma função definida sobre um certo domínio. Nos problemas desta área o domínio é finito, e os pontos podem ser enumerados. Entretanto, o número de pontos do domínio pode ser muito grande, inviabilizando uma abordagem que enumerasse todas as possibilidades. Diversos problemas práticos podem ser modelados como problemas de Otimização Combinatória. Tais aplicações práticas motivam o estudo de abordagens exatas e aproximadas para sua resolução, objeto principal de estudo neste projeto. Os problemas que estudaremos provêm de diversas áreas como Biologia Computacional, Escalonamento de Tarefas, Empacotamento, entre outros. A equipe do projeto consiste de 14 pesquisadores que já interagem há algum tempo dos quais 5 são pesquisadores de instituições emergentes, que fizeram seus doutoramentos orientados por pesquisadores do IME-USP, instituição principal deste projeto. As instituições envolvidas são a USP (através do IME e da Escola Politécnica), UFRJ, UECE, UFPE e UFMS. Os objetivos deste projeto são o fortalecimento da colaboração existente entre os grupos de pesquisa envolvidos e a ampliação do apoio aos doutores egressos da instituição, a fim de que possam continuar a desenvolver pesquisa de qualidade na área. Durante o projeto pretendemos realizar oficinas semestrais de pesquisa, que visam a expor os alunos envolvidos a um ambiente de pesquisa prolífero. Tais oficinas contarão com a participação de pesquisadores do país e do exterior que apresentarão palestras de seus trabalhos. Além disso, haverá também seções de problemas em aberto com a participação ativa dos estudantes. Ampliar esta interação é um dos principais objetivos deste projeto. . Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 5) / Mestrado acadêmico ( 22) / Doutorado ( 6) . Integrantes: Yoshiko Wakabayashi - Integrante / Cristina Gomes Fernandes - Int. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (22) / Doutorado: (6) . , Integrantes: Liliane Rose Benning Salgado - Integrante / Yoshiko Wakabayashi - Coordenador / Carlos Eduardo Ferreira - Integrante / Cristina Gomes Fernandes - Integrante / Débora Pretti Ronconi - Integrante / Ernesto G. Birgin - Integrante / Fábio Martinez - Integrante / Glauber Cintra - Integrante / José Coelho de Pina Jr - Integrante / José Augusto Soares - Integrante / Márcia Cerioli - Integrante / Marco Stefanes - Integrante / Maya Jacobine Stein - Integrante / Said Sadique Adi - Integrante.

  • 2006 - 2007

    Projeto do Programa de Qualificação Institucional - PQI (capes), como pesquisadora da instituição cooperante CIn - UFPE, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Liliane Rose Benning Salgado - Coordenador.

  • 2006 - 2007

    Partição Conexa em Grafos: um estudo sobre aproximabilidade, Descrição: A ênfase é no estudo e desenvolvimento de algoritmos de aproximação para problemas de partições conexas em grafos. Os alunos envolvidos serão introduzidos nas áreas de aproximabilidade de problemas de otimização NP-difíceis, complexidade computacional, teoria dos grafos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Liliane Rose Benning Salgado - Coordenador / Breno Araújo do Vale - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.Número de orientações: 1

  • 2005 - 2006

    Partições Conexas em Grafos: um estudo sobre aproximabilidade, Descrição: Projeto aprovado no Programa Institucional de Bolsas de Inicição Científica (PIBIC/FIR/FACEPE - 2005/2006) A ênfase é no estudo e desenvolvimento de algoritmos de aproximação para problemas de partições conexas em grafos. Os alunos envolvidos serão introduzidos nas áreas de aproximabilidade de problemas de otimização NP-difíceis, complexidade computacional, teoria dos grafos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Liliane Rose Benning Salgado - Coordenador / Francisco Ferreira Paz Junior - Integrante / Leandro Santos do Nascimento - Integrante., Financiador(es): Faculdade Integrada do Recife - Bolsa.

  • 2004 - 2005

    Algoritmos de Aproximação para Problemas NP-difíceis em Grafos, Descrição: Estuda as propriedades de aproximação de problemas de otimização NP-difíceis em grafos. Busca introduzir os alunos envolvidos na área de otimização combinatória, complexidade computacional, teoria dos grafos. A ênfase é o estudo e desenvolvimento de algoritmos de aproximação para problemas de partições conexas em grafos. . , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Liliane Rose Benning Salgado - Coordenador / Thiago Passos de Vasconcelos - Integrante., Financiador(es): Faculdade Integrada do Recife - Cooperação.

  • 1998 - 2004

    Complexidade de Estruturas Discretas (PRONEX) - CNPq, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Liliane Rose Benning Salgado - Integrante / YOSHIHARU KOHAYAKAWA - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.

  • 1998 - 2000

    Aspectos Estruturais e Algorítmicos de Objetos Combinatoriais - Fapesp, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Liliane Rose Benning Salgado - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Cooperação.

  • 1997 - 1997

    Algoritmos de Aproximação em Grafos, Descrição: Projeto de bolsa de pré-doutorado aprovado pela FACEPE. O objetivo é estudar o problema do Balance Máximo abordando sua complexidade computacional e também o desenvolvimento de algoritmos de aproximação.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Liliane Rose Benning Salgado - Coordenador., Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Bolsa.

Prêmios

2014

Finalista Mundial (19o lugar) - 2014 IBM ACM ICPC - Treinadora, IBM, ACM.

2013

Finalista Mundial (27o lugar ) - ACM International Collegiate Programming Contest - Treinadora, IBM, ACM.

2013

3o e 5o lugares Maratona de Programção - 2014 IBM ACM ICPC - Regional Sul Americana / Brasil - Treinadora, SBC, Fundação Carlos Chagas.

2012

Finalista Mundial - ACM International Collegiate Programming Contest - Treinadora, IBM, ACM.

2012

3o e 6o lugares da Maratona de Programação - Fase Regional da América do Sul - Treinadora, SBC, Fundação Carlos Chagas, IBM, ACM.

2011

Campeã Brasileira da Maratona de Programação - Fase Regional da América do Sul - Treinadora, SBC, Fundação Carlos Chagas, IBM, ACM.

2010

Finalista Mundial - ACM International Collegiate Programming Contest - Treinadora, ACM, IBM.

2010

Campeã Latino- Americana - ACM International Collegiate Programming Contest - Treinadora, ACM , IBM.

2009

Campeã Brasileira da Maratona de Programação - Fase Regional da América do Sul - Treinadora, SBC, Fundação Carlos Chagas, IBM, ACM.

2009

Finalista Mundial -- ACM International Collegiate Programming Contest -- Treinadora, ACM, IBM.

2008

Campeã Brasileira da Maratona de Programação -- Treinadora, SBC, Fundação Carlos Chagas, ACM, IBM.

2001

Bolsa para estudante de pós-graduação - CIMPA Summer School e Graco (participação em evento), CIMPA - UNESCO.

1998

Bolsa de Doutorado, FAPESP.

1997

Segundo lugar - Concurso para Professor Substituto, Departamento de Informática - UFPE.

1997

Bolsa Pré-doutorado (Projeto Algoritmos de Aproximação em Grafos), FACEPE.

1996

Bolsa para estudante de pós-graduação (ASHCOMP'96 - School and Workshop on "Approximate solutions of hard combinatorial problems" - Udine/Itália, CIMPA-UNESCO.

1995

Bolsa para estudante de pós-graduação - LATIN'95 (participação em evento), UNESCO.

1994

Bolsa de Mestrado, CNPq.

Histórico profissional

Endereço profissional

  • Universidade Federal de Pernambuco, Centro de Informática. , Avenida Jornalista Aníbal Fernandes, s/n, Cidade Universitária, 50740560 - Recife, PE - Brasil, Telefone: (081) 21268430, Ramal: 4536, Fax: (081) 21268430, URL da Homepage:

Experiência profissional

2005 - Atual

Universidade Federal de Pernambuco

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 1, Carga horária: 40, Regime: Dedicação exclusiva.

1997 - 1997

Universidade Federal de Pernambuco

Vínculo: , Enquadramento Funcional: Professor Substituto

Atividades

  • 11/2005

    Pesquisa e desenvolvimento , Centro de Informática, .,Linhas de pesquisa

  • 11/2005

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Tópicos Avançados em Algoritmos, Introdução a Programação, Algoritmos e Estruturas de Dados, Algoritmos 1 (pós-graduação), Computacao Eletronica, Informática Teórica, Métodos Computacionais

  • 03/1997 - 12/1997

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de Dados, Engenharia de Software, Introdução a Computação

1998 - 2004

Universidade de São Paulo

Vínculo: , Enquadramento Funcional: Aluno - Doutorado em Ciência da Computação

Atividades

  • 03/2001 - 06/2001

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos de Aproximação (Monitoria do Programa de Aperfeiçoamento - PAE)

2004 - 2004

Universidade Católica de Pernambuco

Vínculo: , Enquadramento Funcional: Professor Assistente 1, Carga horária: 20

Atividades

  • 02/2004 - 08/2004

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores, Estruturas de Dados 2

2004 - 2005

Faculdade Integrada do Recife

Vínculo: Professor, Enquadramento Funcional: Professor Doutor, Carga horária: 20

Outras informações:
Curso : Sistemas de Informação

Atividades

  • 09/2004 - 10/2005

    Pesquisa e desenvolvimento , Curso : Sistemas de Informação, .,Linhas de pesquisa

  • 08/2004 - 10/2005

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Cálculo Diferencial e Integral 1, Lógica Matemática

  • 09/2004 - 07/2005

    Outras atividades técnico-científicas , Curso : Sistemas de Informação, .,Atividade realizada, Programa Voluntário de Iniciação Científica - COPESQ/FIR.

2005 - 2005

Faculdade Maurício de Nassau - Recife

Vínculo: Celetista, Enquadramento Funcional: Professor Doutor, Carga horária: 20

Atividades

  • 02/2005 - 08/2005

    Ensino, Comunicação Social, Nível: Graduação,Disciplinas ministradas, Introdução à Informática para Comunicação Social