Samuel Souza Brito

  • Endereço para acessar este CV: http://lattes.cnpq.br/7605144807115470
  • Última atualização do currículo em 12/05/2017


Professor Assistente do Departamento de Computação e Sistemas de Informação (DECSI) da Universidade Federal de Ouro Preto. Doutorando em Ciência da Computação pela Universidade Federal de Ouro Preto. Possui mestrado (2015) e bacharelado (2013) em Ciência da Computação pela Universidade Federal de Ouro Preto. Tem experiência em Algoritmos e Otimização Combinatória, atuando principalmente nos seguintes temas: Programação Linear Inteira Mista e Metaheurísticas para problemas de Otimização de Combinatória. (Texto informado pelo autor)


Identificação


Nome
Samuel Souza Brito
Nome em citações bibliográficas
BRITO, S. S.;Brito, Samuel S.;BRITO, SAMUEL SOUZA;Souza Brito, Samuel;Samuel Souza Brito

Endereço


Endereço Profissional
Universidade Federal de Ouro Preto, Instituto de Ciências Exatas e Aplicadas, Departamento de Computação e Sistemas de Informação.
Rua Trinta e Seis, 115
Loanda
35931008 - João Monlevade, MG - Brasil
Telefone: (31) 38528709
Ramal: 2019
URL da Homepage: https://www.icea.ufop.br/


Formação acadêmica/titulação


2015
Doutorado em andamento em Ciência da Computação.
Universidade Federal de Ouro Preto, UFOP, Brasil.
Orientador: Haroldo Gambini Santos.
Coorientador: Marcus Vinícius Soledade Poggi de Aragão.
2013 - 2015
Mestrado em CIÊNCIA DA COMPUTAÇÃO.
Universidade Federal de Ouro Preto, UFOP, Brasil.
Título: Grafo de Conflitos: Construção e Aplicações em Problemas de Programação Inteira,Ano de Obtenção: 2015.
Orientador: Haroldo Gambini Santos.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
2009 - 2013
Graduação em Ciência da Computação.
Universidade Federal de Ouro Preto, UFOP, Brasil.




Atuação Profissional



Universidade Federal de Ouro Preto, UFOP, Brasil.
Vínculo institucional

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

Vínculo institucional

2012 - 2013
Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20, Regime: Dedicação exclusiva.

Vínculo institucional

2011 - 2012
Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20, Regime: Dedicação exclusiva.

Vínculo institucional

2010 - 2011
Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20, Regime: Dedicação exclusiva.

Atividades

07/2015 - Atual
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Sistemas Operacionais
Fundamentos de Arquitetura de Computadores


Projetos de pesquisa


2013 - 2015
Algoritmos de Busca Heurística e Exata com Aplicações em Escalonamento de Tarefas e Projetos
Descrição: O presente projeto considera o estudo, concepção e implementação computacional de algoritmos de busca, dentro da grande área de inteligência computacional, para problemas de grande interesse teórico e prático. Os problemas em questão estão dentro do grupo de problemas de otimização combinatória de escalonamento, os quais são reconhecidamente de difícil tratamento computacional. O tema de pesquisa tem aplicações diretas que incluem a minimização dos custos de desenvolvimento de software e o planejamento adequado de escalas para equipes de trabalho. Um dos indicativos da importância do desenvolvimento de métodos de solução eficientes para esse problema é a abertura, no corrente ano, de uma competição internacional para o desenvolvimento de soluções computacionais para esse problema. O projeto prevê que o problema seja abordado em duas frentes: inicialmente serão desenvolvidos algoritmos que definam para o maior conjunto possível de instâncias o custo ótimo de solução. Nessa fase serão exploradas técnicas de programação inteira como Branch-and-Cut. Em um segundo momento irá se buscar o desenvolvimento de heurísticas rápidas para a produção de soluções com custos próximos do ótimo em tempos computacionais pequenos. O grupo de pesquisa envolvido no projeto é o mesmo que foi recentemente premiado em uma competição internacional de desenvolvimento de algoritmos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) .
Integrantes: Samuel Souza Brito - Integrante / Marcone Jamilson Freitas Souza - Integrante / Túlio Ângelo Machado Toffolo - Integrante / Haroldo Gambini Santos - Coordenador / Janniele Aparecida Soares - Integrante.
2012 - 2013
Treinamento para Maratona de Programação
Descrição: Este projeto de iniciação tecnológica visa fornecer condições para criação e manutenção de um grupo de estudos voltado à preparação de discentes para participações no evento de competição tecnológica de caráter educacional Maratona de Programação em um nível competitivo..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Samuel Souza Brito - Integrante / Túlio Ângelo Machado Toffolo - Integrante / Marco Antônio Moreira de Carvalho - Coordenador.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.
2011 - 2012
Programação Inteira: Algoritmos Exatos e Heurísticos com Aplicações em Mineração de Dados e Programação de Horários

Projeto certificado pelo(a) coordenador(a) Haroldo Gambini Santos em 13/06/2013.
Descrição: Esta proposta trata do desenvolvimento de métodos eficientes para resolução de problemas combinatórios através de Programação Inteira (PI). Em especial, é considerada a melhoria de estratégias de separação de cortes e o desenvolvimento de heurísticas que possam ser incorporadas na árvore de busca dos métodos mais eficientes para PI. Os métodos desenvolvidos terão seu desempenho avaliado em duas aplicações distintas: Problemas de Programação de Horários e Problemas de Mineração de Dados. Em ambos os problemas existe um crescente interesse na utilização de técnicas exatas para sua resolução, principalmente devido ao enorme progresso que tem ocorrido na melhora dos métodos existentes para resolução de problemas lineares com restrições de integralidade..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) .
Integrantes: Samuel Souza Brito - Integrante / Haroldo Gambini Santos - Coordenador / Luiz Henrique de Campos Merschman - Integrante / Rafael Henrique Vareto - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2010 - 2011
Programação Inteira: Algoritmos Exatos e Heurísticos com Aplicações em Coloração de Grafos e Programação de Horários

Projeto certificado pelo(a) coordenador(a) Haroldo Gambini Santos em 19/09/2012.
Descrição: Apesar dos muitos progressos que ocorreram nas últimas décadas para a solução computacional de problemas combinatórios difíceis, vários problemas permanecem desafiadores tanto do ponto de vista teórico quanto prático. A principal frente de avanço para a resolução exata de problemas de otimização combinatória difíceis tem sido o desenvolvimento de técnicas de Programação Inteira (PI). Este projeto trata de problemas com um cerne comum, que permanecem desafiadores para o ferramental de PI disponível hoje: problemas onde devem ser tomadas algumas entre um conjunto de decisões conflitantes. Como primeiro e principal problema está o Problema de Coloração de Vértices em Grafos. Considera-se também a pesquisa e o desenvolvimento de métodos de solução para uma conhecida aplicação deste problema, a programação automática de quadros de horários. Neste sentido, pretende-se trabalhar com os problemas da Competição Internacional de Programação de Horários. Este conjunto de instâncias apresenta reconhecida relevância na comunidade científica pelo fato de que mesmo a obtenção de soluções factíveis para essas instâncias já se configura uma tarefa computacional difícil.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) .
Integrantes: Samuel Souza Brito - Integrante / Haroldo Gambini Santos - Coordenador / Luiz Henrique de Campos Merschman - Integrante / Rafael Henrique Vareto - Integrante / Luiz Satoru Ochi - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Otimização Combinatória.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Análise de Algoritmos e Complexidade de Computação.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Modelos Analíticos e de Simulação.


Idiomas


Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.


Prêmios e títulos


2012
Winner of the International Timetabling Competition 2011-2012 (GOAL Team), The Practice and Theory of Automated Timetabling, EventMap and CTIT, University of Twente.
2012
Menção honrosa concedida no XX Seminário de Iniciação Científica da UFOP, Pró-Reitoria de Pesquisa e Pós-Graduação da Universidade Federal de Ouro Preto.
2011
Trabalho classificado entre os 5 melhores da Categoria Prêmio de Melhor Trabalho de Iniciação Científica (TIC) - XLIII Simpósio Brasileiro de Pesquisa Operacional, Sociedade Brasileira de Pesquisa Operacional.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
BRITO, SAMUEL SOUZA2017BRITO, SAMUEL SOUZA; SANTOS, HAROLDO GAMBINI . Automatic integer programming reformulation using variable neighborhood search. ELECTRONIC NOTES IN DISCRETE MATHEMATICS, v. 58, p. 7-14, 2017.

2.
BRITO, SAMUEL SOUZA2015BRITO, SAMUEL SOUZA; SANTOS, HAROLDO GAMBINI ; POGGI, MARCUS . A Computational Study of Conflict Graphs and Aggressive Cut Separation in Integer Programming. ELECTRONIC NOTES IN DISCRETE MATHEMATICS, v. 50, p. 355-360, 2015.

3.
DA FONSECA, GEORGE HENRIQUE GODIM2014 DA FONSECA, GEORGE HENRIQUE GODIM ; SANTOS, HAROLDO GAMBINI ; TOFFOLO, TÚLIO ÂNGELO MACHADO ; BRITO, SAMUEL SOUZA ; SOUZA, MARCONE JAMILSON FREITAS . GOAL solver: a hybrid local search based solver for high school timetabling. Annals of Operation Research, v. 1, p. 1-21, 2014.

4.
Brito, Samuel S.2012Brito, Samuel S.; FONSECA, GEORGE H.G. ; TOFFOLO, TULIO A.M. ; Santos, Haroldo G. ; SOUZA, MARCONE J.F. . A SA-VNS approach for the High School Timetabling Problem. Electronic Notes in Discrete Mathematics, v. 39, p. 169-176, 2012.

Trabalhos completos publicados em anais de congressos
1.
MARTINS, R. S. O. ; Janniele Aparecida Soares ; Samuel Souza Brito ; Haroldo Gambini Santos . Recomendação de parâmetros para o COIN-OR Branch and Cut. In: XLVIII SBPO Simpósio Brasileiro de Pesquisa Operacional, 2016, Vitória, ES. Anais do XLVIII SBPO Simpósio Brasileiro de Pesquisa Operacional, 2016. p. 2508-2514.

2.
VILAS BOAS, M. G. ; SANTOS, H. G. ; BRITO, S. S. . Algoritmos Exatos e Heurísticos para o Problema da Detecção de Cliques com Peso acima de um Limiar. In: XLVII Simpósio Brasileiro de Pesquisa Operacional, 2015, Porto de Galinhas. Anais do XLVII Simpósio Brasileiro de Pesquisa Operacional, 2015.

3.
Souza Brito, Samuel; Gambini Santos, Haroldo ; Miranda Santos, Bruno Henrique . A Local Search Approach for Binary Programming: Feasibility Search. In: 9th International Workshop on Hybrid Metaheuristics, 2014, Hamburg. International Workshop on Hybrid Metaheuristics, 2014. v. 8457. p. 45-55.

4.
FONSECA, G. H. G. ; SANTOS, H. G. ; TOFFOLO, T. A. M. ; BRITO, S. S. ; SOUZA, M. J. F. . A SA-ILS approach for the High School Timetabling Problem. In: The 9th International Conference on the Practice and Theory of Automated Timetabling, 2012, Son, Norway. The 9th International Conference on the Practice and Theory of Automated Timetabling, 2012.

5.
SANTOS, H. G. ; TOFFOLO, T. A. M. ; BRITO, S. S. ; FONSECA, G. H. G. . Towards Generic MIP solvers for Rostering and Timetabling. In: Fourth International Workshop on Model-based Metaheuristics, 2012, Angra dos Reis, Brazil. Proceedings of the Fourth International Workshop on Model-based Metaheuristics, 2012.

6.
FONSECA, G. H. G. ; BRITO, S. S. ; TOFFOLO, T. A. M. ; SANTOS, H. G. . Técnicas de Busca Local para o Problema da Programação de Horários Escolares. In: XLIV Simpósio Brasileiro de Pesquisa Operacional, 2012, Rio de Janeiro, Brazil. Anais do XLIV Simpósio Brasileiro de Pesquisa Operacional, 2012.

7.
FONSECA, G. H. G. ; BRITO, S. S. ; SANTOS, H. G. . A Simulated Annealing Based Approach to the High School Timetabling Problem. In: 13th International Conference on Intelligent Data Engineering and Automated Learning, 2012, Natal. Intelligent Data Engineering and Automated Learning - IDEAL 2012, 2012. v. 7435. p. 540-549.

8.
BRITO, S. S.; SANTOS, H. G. . Pivotamento no Algoritmo Bron-Kerbosch para a Detecção de Cliques com Peso Máximo. In: XLIII Simpósio Brasileiro de Pesquisa Operacional, 2011, Ubatuba/SP. Anais do XLIII Simpósio Brasileiro de Pesquisa Operacional, 2011.

Resumos publicados em anais de congressos
1.
BRITO, S. S.. Técnicas de Busca Local para o Problema da Programação de Horários Escolares. In: XX Seminário de Iniciação Científica da UFOP, 2012, Ouro Preto/MG. Anais do XX SEIC - UFOP, 2012.

2.
VARETO, R. H. ; BRITO, S. S. ; SANTOS, H. G. . Geração de Cliques para Problemas de Programação Inteira. In: XIX Seminário de Iniciação Científica da UFOP, 2011, Ouro Preto/MG. Anais do XIX SEIC - UFOP, 2011.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
10th International Conference on the Practice and Theory of Automated Timetabling. 2014. (Congresso).

2.
XLIV Simpósio Brasileiro de Pesquisa Operacional.Técnicas de Busca Local para o Problema da Programação de Horários Escolares. 2012. (Simpósio).

3.
XLIII Simpósio Brasileiro de Pesquisa Operacional.Pivotamento no Algoritmo Bron-Kerbosch para a Detecção de Cliques com Peso Máximo. 2011. (Simpósio).




Página gerada pelo Sistema Currículo Lattes em 13/11/2018 às 1:35:45