Alexandre da Silva Freire

Após concluir o doutorado sanduiche em Ciência da Computação, pelo IME-USP e pela Université Claude Bernard - Lyon (França), em outubro de 2012, com bolsas da CAPES e do CNPq, fiz pós-doutorado no IC-Unicamp, com bolsa da FAPESP, tendo ingressado como docente (em RDIDP) no curso de Sistemas de Informação da EACH-USP, em junho de 2014. Minha principal linha de pesquisa tem sido a utilização de técnicas de Programação Linear Inteira para a resolução de problemas de Otimização Combinatória, motivados por aplicações nas áreas de logística, transporte, reconhecimento de padrões, bioinformática e outras. Tais pesquisas têm sido desenvolvidas em parceria com pesquisadores de diversas instituições nacionais e internacionais.

Informações coletadas do Lattes em 04/06/2019

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Ciencia da Computacao

2008 - 2012

Universidade de São Paulo
Título: Empacotamento de Bicliques em Grafos Bipartidos
Orientador: em Université Claude Bernarde Lyon 1 ( Marie France Sagot)
com Carlos Eduardo Ferreira. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Mestrado em Ciências da Computação

2006 - 2008

Universidade de São Paulo
Título: Correspondência inexata entre grafos,Ano de Obtenção: 2008
Carlos Eduardo Ferreira.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Graduação em Ciência da Computação

2001 - 2005

Universidade Anhembi Morumbi

Seção coletada automaticamente pelo Escavador

Pós-doutorado

2012

Pós-Doutorado. , Universidade Estadual de Campinas, UNICAMP, Brasil. , Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.

Seção coletada automaticamente pelo Escavador

Formação complementar

2009 - 2009

Combinatorial Optimization at Work II. (Carga horária: 128h). , Zuse Institute Berlin, ZIB, Alemanha.

2009 - 2009

Optimization under Uncertainty. (Carga horária: 40h). , Max-Planck-Institut für Informatik, MPI, Alemanha.

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

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

Francês

Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.

Seção coletada automaticamente pelo Escavador

Participação em eventos

3º Encontro de Teoria da Computação. Título do trabalho deve ser mantido em sigilo pelo avaliador. 2018. (Congresso).

2º Encontro de Teoria da Computação. Título do trabalho deve ser mantido em sigilo pelo avaliador. 2017. (Congresso).

29º Concurso de Teses e Dissertações.Título do trabalho deve ser mantido em sigilo pelo avaliador. 2016. (Outra).

XLVIII Simpósio Brasileiro de Pesquisa Operacional.Título do trabalho deve ser mantido em sigilo pelo avaliador. 2016. (Simpósio).

International Conference on Pattern Recognition. A column generation approach for the graph matching problem. 2010. (Congresso).

International Symposium on Combinatorial Optimization. The biclique k-clustering problem in bipartite graphs and its application in bioinformatics. 2010. (Congresso).

Latin-American Algorithms, Graphs and Optimization Symposium. 2009. (Congresso).

Workshop on Discrete Structures, Complexity and Algorithms. 2009. (Oficina).

International Conference on the Analysis of Algorithms. 2008. (Congresso).

Latin American Theoritical Informatics. 2008. (Congresso).

Segunda Oficina de Estruturas Discretas: Algoritmos e Aplicações. 2008. (Oficina).

Workshop em Algoritmos, Combinatória e Otimização. 2008. (Encontro).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Alexandra Katiuska Ramos Diaz

FREIRE, A. S.. Biagrupamento heurístico e coagrupamento baseado em fatoração de matrizes: um estudo em dados textuais. 2018. Dissertação (Mestrado em Sistemas de Informação) - Escola de Artes, Ciências e Humanidades - Universidade de São Paulo.

Aluno: Rafael Santos Coelho

FREIRE, A. S.. The k-hop connected dominating set problem: approximation algorithms and hardness results. 2017 - Instituto de Matemática e Estatística - USP.

Aluno: Santiago Valdés Ravelo

FREIRE, ALEXANDRE S.. Problema da árvore geradora de comunicação ótima: variantes, complexidade e aproximação. 2016. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: Marcio Takashi Lura Oshiro

FREIRE, ALEXANDRE S.. Clustering de tragetórias. 2015. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: Álvaro Junio Pereira Franco

FREIRE, ALEXANDRE S.. Algoritmos para junções em digrafos acíclicos e uma aplicação na Antropologia. 2013. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: Renzo Gonzalo Gomez Diaz

FREIRE, A. S.. Cobertura de um grafo por caminhos disjuntos nos vértices. 2017 - Instituto de Matemática e Estatística - USP.

Aluno: Hugo Vinicius Vaz Braga

FREIRE, A. S.. Spanners em Grafos. 2016 - Instituto de Matemática e Estatística - USP.

Aluno: Wellington Donizeti Previero

FREIRE, ALEXANDRE S.. O Problema de Job Shop Flexível. 2014. Exame de qualificação (Doutorando em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: Edênis Freindorfer Azevedo

FREIRE, A. S.. Problemas de alocação justa de itens para competidores com demandas. 2017 - Instituto de Matemática e Estatística - USP.

Aluno: Diogo Haruki Kykuta

FREIRE, A. S.. Problema dos K Menores Caminhos. 2016 - Instituto de Matemática e Estatística - USP.

Aluno: Neuton de Oliveira Braga Júnior

FREIRE, ALEXANDRE S.. Problema de roteamento de veículos. 2014. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade de São Paulo.

Aluno: Jesus Alejandro Peña Mesias

FREIRE, ALEXANDRE S.. Problemas dinâmicos de caminhos em Digrafos Acíclicos. 2013. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade de São Paulo.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Calebe de Paula Bianchini

BIANCHINI, C. P.MARUCCI, R. A.; SHIMADA, N. I.. Validação Automática de Programas de Computador. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Anhembi Morumbi.

Carlos Eduardo Ferreira

FERREIRA, C. E.. Correspondência Inexata de Grafos. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Carlos Eduardo Ferreira

FERREIRA, C. E.FERNANDES, C. G.CESAR, R.M.. Qualificação de mestrado: Correspondência inexata de grafos. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Carlos Eduardo Ferreira

FERREIRA, C. E.WAKABAYASHI, Y.; MACULAN, N.; LUCENA FILHO, A. P.; XAVIER, E.C.. Empacotamento de bicliques em grafos bipartidos. 2012. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

Carlos Eduardo Ferreira

FERREIRA, C. E.WAKABAYASHI, Y.SOUZA, C. C.. Empacotamento de bicliques em grafos bipartidos. 2010. Exame de qualificação (Doutorando em Ciencia da Computacao) - Universidade de São Paulo.

Cristina Gomes Fernandes

Fernandes, Cristina G.Ferreira, Carlos E.; M.C.S. Boeres. Correspondência Inexata entre Grafos. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Eduardo Candido Xavier

Carlos Eduardo Ferreira;Yoshiko Wakabayashi; Abílio Pereira de Lucena Filho; Nelson Maculan Filho;Eduardo C. Xavier. Empacotamento de bicliques em grafos bipartidos. 2012. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Seção coletada automaticamente pelo Escavador

Orientou

Jainor Nestor Cardenas Choque

Modelos de programação linear inteira para ma de árvore geradora de comunicação ótima; Início: 2018; Dissertação (Mestrado profissional em Cinência da Computação) - Instituto de Matemática e Estatística - USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

André Marinho Valadão Batemarchi

Ainda não definido; Início: 2018; Dissertação (Mestrado profissional em Sistemas de Informação) - Escola de Artes, Ciencias e Humanidades; (Orientador);

Thiago Pereira de Souza

Simulação gamificada de algoritmos; Início: 2018; Iniciação científica (Graduando em Sistemas de Informação) - Escola de Artes, Ciencias e Humanidades, Programa Unificado de Bolsas - USP; (Orientador);

Vinícius Shoiti Koike Graciliano

Modelos de PLI para o problema de alocação justa; Início: 2018; Iniciação científica (Graduando em Sistemas de Informação) - Escola de Artes, Ciencias e Humanidades, Programa de Ensino Tutorial do MEC - Curso de Sistemas de Informação; (Orientador);

Diego Ignacio Zurita Rojas

Um Sistema de Busca de Motifs em Redes Biológicas; 2017; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade de São Paulo; Orientador: Alexandre da Silva Freire;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Calebe de Paula Bianchini

Validação Automática de Programas de Computador; 2005; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Anhembi Morumbi; Orientador: Calebe de Paula Bianchini;

Carlos Eduardo Ferreira

Correspondência Inexata de Grafos; 2008; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlos Eduardo Ferreira;

Carlos Eduardo Ferreira

Empacotamento de bicliques em grafos bipartidos; 2012; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlos Eduardo Ferreira;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • CAMPÊLO, MANOEL ; Freire, Alexandre S. ; LIMA, KARLA R. ; MOURA, PHABLO F. S. ; WAKABAYASHI, YOSHIKO . The convex recoloring problem: polyhedra, facets and computational experiments. Mathematical Programming , v. 156, p. 303-330, 2016.

  • Freire, Alexandre S. ; MORENO, EDUARDO ; YUSHIMITO, WILFREDO F. . A branch-and-bound algorithm for the maximum capture problem with random utilities. European Journal of Operational Research , v. 252, p. 204-212, 2016.

  • Acuña, V. ; Ferreira, C.E. ; Freire, A.S. ; Moreno, E. . Solving the maximum edge biclique packing problem on unbalanced bipartite graphs. Discrete Applied Mathematics , v. 164, p. 2-12, 2014.

  • FREIRE, ALEXANDRE S. ; MORENO, EDUARDO ; VIELMA, JUAN PABLO . An integer linear programming approach for bilinear integer programming. Operations Research Letters , v. 40, p. 74-77, 2012.

  • Bogue, Eduardo T. ; de Souza, Cid C. ; Xavier, Eduardo C. ; Freire, Alexandre S. . An Integer Programming Formulation for the Maximum k-Subset Intersection Problem. Lecture Notes in Computer Science. 3ed.: Springer International Publishing, 2014, v. 8596, p. 87-99.

  • FREIRE, A. S. ; LIMA, K. R. ; ROJAS, D. I. Z. . Um Sistema de Busca de Motifs em Redes Biológicas. In: SBSI - Simpósio Brasileiro de Sistemas de Informação, 2018, Caxias do Sul. XIV Simpósio Brasileiro de Sistemas de Informação, 2018.

  • ALVES, P. Y. A. L. ; DELGADO, K. V. ; Freire, A.S. ; SILVA, V. F. . Sistema para Resolver o Problema de Roteamento e Inventário com Demanda Estocástica e Janelas de Tempo. In: SBSI - Simpósio Brasileiro de Sistemas de Informação, 2018, Caxias do Sul. XIV Simpósio Brasileiro de Sistemas de Informação, 2018.

  • ALVES, P. Y. A. L. ; DELGADO, K. V. ; Freire, A. S. . Sistema para Resolver o Problema de Roteamento e Inventário com Demanda Estocástica: Comparando Diferentes Heurísticas na Relaxação Lagrangeana. In: razilian Symposium on Information Systems, 2017, Lavras. XIII Brazilian Symposium on Information Systems, 2017. p. 555-562.

  • FREIRE, A. S. ; Acuña, V. ; Crescenzi, P. ; Ferreira, C. E. ; Lacroix, V. ; Milreu, P. V. ; Moreno, E. ; Sagot, M. -F. . Minimum Ratio Cover of Matrix Columns by Extreme Rays of Its Induced Cone. In: Second International Symposium, ISCO 2012, 2012, Athens, Greece. Lecture Notes in Computer Science, 2012. v. 7422. p. 165-177.

  • Acuña, V. ; Ferreira, C.E. ; FREIRE, A. S. ; Moreno, E. . The biclique k-clustering problem in bipartite graphs and its application in bioinformatics, 2010. Electronic Notes in Discrete Mathematics. v. 36. p. 159-166.

  • FREIRE, A. S. ; R.M. Cesar Jr. ; Ferreira, C.E. . A Column Generation Approach for the Graph Matching Problem. In: International Conference on Pattern Recognition, 2010, Istanbul. 2010 20th International Conference on Pattern Recognition, 2010. p. 1088-1091.

  • Freire, A. S. ; GRUBER, A. ; VELLOZO, A. ; Ferreira, C. E. ; AZEVEDO, E. F. . Método Exato para Um Problema de Alocação Justa. In: Encontro de Teoria da Computação, 2017, São Paulo. XXXVII congresso da sociedade brasileira de computação, 2017. p. 55-58.

  • Freire, A. S. ; MORENO, EDUARDO ; Yushimito, Wilfredo F . A Column Generation Approach for the Optimal Selection of Park-and-Ride Facilities. In: Ninth Triennial Symposium on Transportation Analysis (TRISTAN IX), 2016, Oranjestad. TRISTAN IX, 2016.

  • Ferreira, C.E. ; Freire, A.S. ; Puglia, G.A. . A dynamic programming algorithm for the tree mapping problem. In: LAGOS - Latin-American Algorithms, Graphs and Optimization Symposium, 2011, Bariloche. Electronic Notes in Discrete Mathematics. p. 147-152.

  • FREIRE, A. S. ; Ferreira, C. E. . Correspondência inexata de grafos. In: Concurso de Teses e Disertações da SBC, 2009, Bento Gonçalves. Anais do Congresso da SBC, 2009.

Seção coletada automaticamente pelo Escavador

Outras produções

FREIRE, A. S. . Tópicos de Programação. 2010. (Curso de curta duração ministrado/Extensão).

FREIRE, A. S. . Tópicos de Programação. 2009. (Curso de curta duração ministrado/Extensão).

FREIRE, A. S. . Tópicos de Programação. 2008. (Curso de curta duração ministrado/Extensão).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2019 - Atual

    Estruturas de Dados e Algoritmos, Descrição: Diversos problemas reais podem ser modelados por meio de estruturas discretas, tais como grafos, ou por programas de programação linear inteiros ou mistos. Por exemplo, é possível modelar a relação de parentesco em comunidades indígenas por meio de grafos mistos e, das propriedades destes grafos, extrair informações interessantes sobre o comportamento destas comunidades. Pode-se modelar a dispersão de sementes por aves no meio-ambiente através de um grafo bipartido, e a identificação de padrões repetidos nestes grafos pode melhorar o nosso entendimento de como florestas se regeneram, e eventualmente pode ajudar na identificação de fatores que interferem com essa regeneração. Otimização é uma área que se encontra na intersecção da matemática com a ciência da computação e que vem se desenvolvendo rapidamente desde a descoberta do método simplex para programação linear na década de 1940. Métodos de otimização têm aplicações em diversas áreas, dentre as quais destacamos economia, biologia computacional, estudo de redes sociais, logística, etc. O objetivo principal desse projeto é o estudo de estruturas discretas e a investigação de diversos problemas de otimização, com ênfase no desenvolvimento de técnicas e algoritmos, e no tratamento de questões de natureza teórica a respeito desses problemas e estruturas. Dentre as técnicas que investigaremos destacam-se o uso de algoritmos de aproximação, algoritmos enumerativos, métodos probabilísticos, programação linear mista ou inteira, combinatória poliédrica, e programação semidefinida.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (10) Doutorado: (8) . , Integrantes: Alexandre da Silva Freire - Coordenador / Ferreira, C. E. - Integrante / WAKABAYASHI, YOSHIKO - Integrante / José Coelho de Pina Jr - Integrante / Alvaro Junio Pereira Franco - Integrante / Marcel Kenji de Carli Silva - Integrante / Yoshiharu Kohayakawa - Integrante / Daniel Morgato Martin - Integrante / Karla Roberta Lima - Integrante / Aritanan Gruber - Integrante / Cristina G. Fernandes - Integrante / Arnaldo Mandel - Integrante / Cristiane Maria Sato - Integrante / Atílio Gomes Luiz - Integrante / Gabriel M. Coutinho - Integrante / Maycon Sambinelli - Integrante / Sinai Robins - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2015 - Atual

    Proj. CNPq/Edital Universal 2014 - Estudos Teóricos e Práticos de Problemas e Técnicas de Otimização, Descrição: O principal objetivo do projeto é a aplicação de técnicas de otimização a diversos problemas, teóricos e práticos, com destaque ao uso de ferramentas de programação semidefinida, programação mista, combinatória poliédrica e algoritmos de aproximação. Nossas investigações contribuirão para avançar o estado-da-arte em otimização combinatória e em áreas correlatas.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (4) Doutorado: (7) . , Integrantes: Alexandre da Silva Freire - Integrante / Yoshiko Wakabayashi - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Jr - Integrante / Fernando Mario de Oliveira Filho - Integrante / Alvaro Junio Pereira Franco - Integrante / Andrea P.J. Ramirez - Integrante / Marcel Kenji de Carli Silva - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2013 - 2017

    Estruturas combinatórias, otimização e algoritmos em teoria da computação, Descrição: A área de Ciência da Computação experimenta hoje um crescimento vertiginoso. Novidades tecnológicas surgem e tornam-se obsoletas em um ou dois anos de existência. Novas abordagens surgem com enorme rapidez. Tal desenvolvimento se dá por necessidades criadas em outras áreas do conhecimento de novas técnicas para resolver problemas cada vez mais complexos. Hoje em dia é impossível imaginar um pesquisador de qualquer área do conhecimento que possa desenvolver suas atividades sem o apoio de métodos, técnicas ou tecnologia desenvolvida por pesquisadores de Ciência da Computação. É evidente que os mais bem sucedidos avanços tecnológicos em Ciência da Computação estão fundamentados em resultados teóricos. Áreas como mineração de dados e reconhecimento de padrões, para citar apenas duas, têm seus métodos fortemente baseados em técnicas desenvolvidas em Teoria da Computação. Nosso objetivo neste projeto é o estudo de estruturas combinatórias e diversas formas de abordar problemas relacionados com tais estruturas: métodos algébricos, geométricos, probabilísticos, combinatórios, etc. Uma melhor compreensão destes objetos pode resultar em novas estratégias e algoritmos mais eficientes para resolver problemas a eles relacionados. A equipe proponente tem pesquisadores com grande experiência que cobrem uma ampla gama de sub áreas de Teoria da Computação, permitindo uma maior sinergia para a solução dos problemas abordados. As principais contribuições esperadas neste projeto são a publicação de artigos científicos em conferências e periódicos bem estabelecidos, com alta circulação e de seletiva política editorial. Desejamos também intensificar o intercâmbio internacional do grupo e a formação de alunos nos vários níveis (de iniciação científica a pós-doutorandos). Pretendemos ainda, durante a execução do projeto, realizar uma Escola Avançada de Ciências na área de Teoria da Computação. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (10) / Doutorado: (10) . , Integrantes: Alexandre da Silva Freire - Integrante / Ferreira, C. E. - Coordenador / WAKABAYASHI, YOSHIKO - Integrante / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Jr - Integrante / Fernando Mario de Oliveira Filho - Integrante / Andrea P.J. Ramirez - Integrante / Yoshiharu Kohayakawa - Integrante / André Fujita - Integrante / Ernesto G. Birgin - Integrante / Débora Pretti Ronconi - Integrante / Gordana Manic - Integrante / Daniel Morgato Martin - Integrante / Hiep Han - Integrante / Karla Roberta Lima - Integrante / Carlos Henrique Cardonha - Integrante / Carlos Hoppen - Integrante / Fabricio Siqueira Benevides - Integrante / Neal Owen Bushaw - Integrante / Rudini Sampaio Menezes - Integrante / Sang June Lee - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

Seção coletada automaticamente pelo Escavador

Prêmios

2017

2º Lugar ao artigo "Método exato para um problema de alocação justa" no II ETC do XXXVII CSBC, SBC - Sociedade Brasileira de Computação.

2009

Entre as 10 melhores dissertações de mestrado da área de Computação do pais no CTD - XXII Concurso de Teses e Dissertações, SBC - Sociedade Brasileira de Computação.

2004

14º lugar do Brasil na Maratona de Programação, SBC - Sociedade Brasileira de Computação.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Experiência profissional

  • 2014 - Atual

    Universidade de São Paulo

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