Savio Soares Dias
Possui graduação em Ciências da Computação pela Universidade Federal do Tocantins (2014), mestrado em Computação pela Universidade Federal Fluminense (2017), e Doutorado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro, PESC/Coppe (2024). Foi Professor Substituto da Universidade Federal do Rio de Janeiro (DCC/IM) por 2 anos e atualmente é Engenheiro de Pesquisa e Desenvolvimento na Ansys, Inc. Tem experiência na área de Ciência da Computação, com ênfase em Algoritmos e Otimização, atuando principalmente nos seguintes temas: Otimização Combinatória, Programação Linear Inteira, Problemas de Árvores Geradoras, Problema de Roteamento de Veículos, Metaheurísticas, Técnicas de Decomposição.
Informações coletadas do Lattes em 08/09/2025
Acadêmico
Formação acadêmica
Doutorado em PESC - Programa de Engenharia de Sistemas e Computação
2017 - 2024
Universidade Federal do Rio de Janeiro
Título: Problema da Floresta Restrita de Peso Mínimo: Resultados Teóricos e Computacionais
Luidi Gelabert Simonetti. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Otimização; Otimização Combinatória; Programação Linear Inteira; Metaheurísticas.Grande área: EngenhariasGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Algoritmos e otimização. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metaheurísticas.
Mestrado em Pós-Graduação em Computação da UFF
2015 - 2017
Universidade Federal Fluminense
Título: Abordagens para Resolução do Problema do Caixeiro Alugador
, Ano de Obtenção: 2017.Luiz Satoru Ochi.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Graduação em Ciências da Computação
2010 - 2014
Universidade Federal do Tocantins
Título: Implementação de um modelo de Programação Linear do Problema de Roteamento de Veículos Capacitado com Janelas de Tempo
Orientador: Warley Gramacho da Silva
Idiomas
Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.
Espanhol
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente.
Portuguê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: Otimização Combinatória.
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.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Pesquisa Operacional.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria dos Grafos.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metaheurísticas.
Participação em eventos
II Encontro Regional de Pesquisa Operacional do Norte.Implementação do modelo de programação linear do problema de planejamento de sensores em linguagem AMPL. 2014. (Encontro).
Flisol. 2012. (Encontro).
Produções bibliográficas
-
DIAS, SÁVIO S. ; SIMONETTI, LUIDI G. ; OCHI, LUIZ SATORU . An ils-based heuristic applied to the car renter salesman problem. RECHERCHE OPÉRATIONNELLE , v. 55, p. S1725-S1746, 2021.
-
DIAS, S. S. ; MACHADO, V. M. C. ; SIMONETTI, L. G. ; DA SILVA, A. R. V. ; OCHI, L. S. . Uma Heurística Baseada em ILS para o Problema do Caixeiro Alugador. In: Simpósio Brasileiro de Pesquisa Operacional, 2016, Vitória - ES. Anais SBPO2016, 2016.
-
DIAS, S. S. ; SIMONETTI, L. G. . Lagrangian Relaxations of Contrained Spanning Forests. In: International Network Optimization Conference (INOC), 2022, Aachen. INOC Book of Abstracts, 2022.
-
MACHADO, V. M. C. ; DIAS, S. S. ; COELHO, I. M. ; OCHI, L. S. ; CLUA, E. W. G. . GPU-Accelerated Neighborhood Operators for Permutation-based Problems. In: GPU Technology Conference, 2016, San Jose. GTC, 2016.
-
DIAS, S. S. ; SIMONETTI, L. G. ; GONZALEZ, P. H. . A Branch-and-Cut approach for the Car Renter Salesman Problem. In: International Symposium on Mathematical Programming, 2018, Bordeaux. 23rd International Symposium on Mathematical Programming, 2018.
-
DIAS, S. S. ; SILVA, W. G. ; MATOS, M. R. S. . IMPLEMENTAÇÃO DO MODELO DE PROGRAMAÇÃO LINEAR DO PROBLEMA DE PLANEJAMENTO DE SENSORES EM LINGUAGEM AMPL. 2014. (Apresentação de Trabalho/Outra).
-
MATOS, M. R. S. ; DIAS, S. S. ; SILVA, W. G. . RESOLVENDO O PROBLEMA DE ROTEAMENTO DE VEÍCULOS COM FROTA HETEROGENEA FIXA COM ENTREGAS E RECOLHAS UTILIZANDO O IBM ILOG CPLEX. 2014. (Apresentação de Trabalho/Outra).
Histórico profissional
Experiência profissional
2017 - 2024
Universidade Federal do Rio de JaneiroVínculo: Bolsista, Enquadramento Funcional: Aluno de Doutorado
2018 - 2020
Universidade Federal do Rio de JaneiroVínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 20
2021 - Atual
Engeneering Simulation And Scientific SoftwareVínculo: Celetista, Enquadramento Funcional: Desenvolvedor Científico, Carga horária: 40
Outras informações:
Engenheiro de Pesquisa e Desenvolvimento em software numérico de simulação de física de partículas Rocky, atualmente pertencente à Ansys do Brasil LTDA.
2021 - 2021
Fundação Coordenação de Projetos, Pesquisas e Estudos TecnológicosVínculo: Bolsista, Enquadramento Funcional: Projeto de Pesquisa e Desenvolvimento, Carga horária: 20
Outras informações:
Bolsista em um projeto de Pesquisa e Financiamento da Fundação Coppetec.
2019 - 2020
Fundação Coordenação de Projetos, Pesquisas e Estudos TecnológicosVínculo: Bolsista, Enquadramento Funcional: Projeto de Pesquisa e Desenvolvimento, Carga horária: 20
Outras informações:
Bolsista em um projeto de Pesquisa e Financiamento da Fundação Coppetec.
2017 - 2018
Fundação Coordenação de Projetos, Pesquisas e Estudos TecnológicosVínculo: Bolsista, Enquadramento Funcional: Projeto de Pesquisa e Desenvolvimento, Carga horária: 20
Outras informações:
Bolsista em um projeto de Pesquisa e Financiamento da Fundação Coppetec.
2015 - 2017
Universidade Federal FluminenseVínculo: Bolsista, Enquadramento Funcional: Bolsista Capes, Regime: Dedicação exclusiva.
2013 - 2014
Universidade Federal do TocantinsVínculo: Estagiário, Enquadramento Funcional: Estágiário, Carga horária: 30
2012 - 2013
Universidade Federal do TocantinsVínculo: Bolsista, Enquadramento Funcional: Bolsista de PIBIC, Carga horária: 20
Outras informações:
Programa Institucional de Bolsa de Iniciação Cientifica (PIBIC) no projeto "Desenvolvimento de aplicativo para gerenciamento e acompanhamento de escavação arqueológica", orientado pelo professor Dr. Andreas Kneip.
2011 - 2012
Universidade Federal do TocantinsVínculo: Monitor disciplinar, Enquadramento Funcional: Monitor da Disciplina de Estrutura de Dados 1, Carga horária: 12
Outras informações:
Monitor disciplinar por dois períodos seguidos (1 ano) da disciplina de Estrutura de Dados I no curso de Ciências da computação pela Universidade Federal do Tocantins.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Savio Soares Dias e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?