About me
Apresentação
Presentación
I am a Professor at the Department of Theoretical Computing (DTC) of the Institute of Computing (IC) of Universidade Estadual de Campinas (Unicamp). Usually, I lecture courses on design and analisis of algorithms, computational complexity, linear integer programming, and combinatorial optimization for graduate and undergraduate students in Computer Science and Computer Engineering.
Eu sou Professor do Departamento de Teoria da Computação (DTC) do Instituto de Computação (IC) da Universidade Estadual de Campinas (Unicamp) . Usualmente, ministro disciplinas sobre projeto e análise de algoritmos, complexidade computacional, programação linear inteira e otimização combinatória para alunos de graduação e pós-graduação em Ciência da Computação e Engenharia da Computação.
Soy Profesor Adjunto en el Departamento de Teoría de la Computación (DTC) del Instituto de Computación (IC) de la Universidade Estadual de Campinas (Unicamp). Usualmente, imparto materias sobre análisis y proyecto de algoritmos, complejidad computacional, programación lineal entera y optimización discreta para estudiantes de posgrado y pregrado en Ciencia de la Computación, e Ingeniería de la Computación.
Academic Degree
Titulação Acadêmica
Titulación Académica
- Ph.D. in Computer Science from the Institute of Mathematics and Statistics (IME) of the University of São Paulo (USP), Brazil (2016)
- Doutorado em Ciência da Computação pelo Instituto de Matemática e Estatística (IME) da Universidade de São Paulo (USP), Brasil (2016)
- Doctorado en Ciencia de la Computación por el Instituto de Matemática y Estadística (IME) de la Universidad de São Paulo (USP), Brasil (2016)
- Master's in Computer Science from the Institute of Informatics (INF) of the Federal University of Goiás (UFG), Brazil (2011)
- Mestrado em Ciência da Computação pelo Instituto de Informática (INF) da Universidade Federal de Goiás (UFG), Brasil (2011)
- Maestría en Ciencia de la Computación por el Instituto de Informática (INF) de la Universidad Federal de Goiás (UFG), Brasil (2011)
- Bachelor in Computer Science from the Faculty of Mathematics and Computation (MATCOM) of the University of Habana (UH), Cuba (2007)
- Bacharel em Ciência da Computação pela Faculdade de Matemática e Computação (MATCOM) da Universidade da Habana (UH), Cuba (2007)
- Licenciado en Ciencia de la Computación por la Facultad de Matemática y Computación (MATCOM) de la Universidad de la Habana (UH), Cuba (2007)
Research Interests
Interesses de Pesquisa
Intereses de Investigación
I'm interested in the study of optimization problems that emerge from practical applications and whose solutions belong to discrete domains. The theoretical approaches may include proofs on the difficulty of solving or approximating these problems and their variants. More applied approaches will attempt to solve them with standard optimization methods or by proposing new techniques and algorithms. Specifically, I work with the following research topics:
Me interesso no estudo de problemas de otimização oriundos de aplicações práticas, cujas soluções pertencem a domínios discretos. As abordagens teóricas podem incluir provas sobre a dificuldade de solucionar ou aproximar esses problemas e seus casos particulares, enquanto abordagens mais aplicadas tentarão solucioná-los com métodos padrão (de otimização) ou propondo novas técnicas e algoritmos. Especificamente, trabalho com os seguintes tópicos de pesquisa:
Me intereso por el estudio de problemas de optimización oriundos de aplicaciones prácticas, cuyas soluciones pertenecen a dominios discretos. Las propuestas teóricas pueden incluir pruebas sobre la dificultad de solucionar o aproximar eses problemas e sus casos particulares, mientras que propuestas más aplicadas intentarán solucionarlos con métodos estándar (de optimización) o a través de nuevas técnicas e algoritmos. Específicamente, trabajo con los siguientes tópicos de investigación:
- Approximation Algorithms
- Combinatorial Optimization
- Computational Complexity
- Graph Theory
- Heuristics and Metaheuristics
- Mathematical Programming
- Matheuristics
- Operational Research
- Algoritmos de Aproximação
- Otimização Combinatória
- Complexidade Computacional
- Teoria dos Grafos
- Heurísticas e Metaheurísticas
- Programação Matemática
- Matheurísticas
- Pesquisa Operacional
- Algoritmos de Aproximación
- Optimización Discreta
- Complejidad Computacional
- Teoría de los Grafos
- Heurísticas y Metaheurísticas
- Programación Matemática
- Matheurísticas
- Investigación de Operaciones
Students interested in pursuing graduate studies in Computer Science on the above topics, or undergraduate studies on those themes, feel free to contact me.
Alunos interessados na pós-graduação em Ciência da Computação abordando algum dos tópicos anteriores, ou que se interessem em iniciar pesquisas na graduação nesses temas, fiquem à vontade para me contatar.
Estudiantes interesados en cursar posgrado en Ciencia de la Computación sobre algún de los tópicos anteriores, o que se interesen en comenzar una investigación de pregrado sobre esos temas, siéntanse libres para contactarme.
Teaching
Ensino
Enseñanza
Publications
Publicações
Publicaciones
Complexity and approximability of minimum path-collection exact covers
- Santiago V. Ravelo, Cristina G. Fernandes
- Theoretical Computer Science, 2023
- DOI: 10.1016/j.tcs.2022.11.022
A new integer linear program and a grouping genetic algorithm with controlled gene transmission for joint order batching and picking routing problem
- Felipe Furtado Lorenci, Santiago V. Ravelo
- IEEE Congress on Evolutionary Computation (CEC), 2022
- DOI: 10.1109/CEC55065.2022.9870210
A fix-and-optimize matheuristic for the k-labelled spanning forest problem
- Tiago Furtado Drehmer Pinheiro, Santiago V. Ravelo, Luciana Salete Buriol
- IEEE Congress on Evolutionary Computation (CEC), 2022
- DOI: 10.1109/CEC55065.2022.9870342
Approximation algorithms for simple assembly line balancing problems
- Santiago V. Ravelo
- Journal of Combinatorial Optimization, 2022
- DOI: 10.1007/s10878-021-00778-2
Generalizations, formulations and subgradient based heuristic with dynamic programming procedure for target set selection problems
- Santiago V. Ravelo, Cláudio N. Meneses
- Computers & Operations Research, 2021
- Download here Baixe aqui Baje aquí DOI: 10.1016/j.cor.2021.105441
Minimum constellation covers: hardness, approximability and polynomial cases
- Santiago V. Ravelo
- Journal of Combinatorial Optimization, 2021
- Download here Baixe aqui Baje aquí DOI: 10.1007/s10878-021-00698-1
NP-hardness and evolutionary algorithm over new formulation for a Target Set Selection problem
- Santiago V. Ravelo, Cláudio N. Meneses, Eduardo A.J. Anacleto
- IEEE Congress on Evolutionary Computation (CEC), 2020
- Download here Baixe aqui Baje aquí DOI: 10.1109/cec48606.2020.9185558
Meta-heuristics for the one-dimensional cutting stock problem with usable leftover
- Santiago V. Ravelo, Cláudio N. Meneses, Maristela O. Santos
- Journal of Heuristics, 2020
- Download here Baixe aqui Baje aquí DOI: 10.1007/s10732-020-09443-z
Closed-form formulas for evaluating r-flip moves to the unconstrained binary quadratic programming problem
- Eduardo A.J. Anacleto, Cláudio N. Meneses, Santiago V. Ravelo
- Computers & Operations Research, 2020
- Download here Baixe aqui Baje aquí DOI: 10.1016/j.cor.2019.104774
A PTAS for the metric case of the optimum weighted source–destination communication spanning tree problem
- Santiago V. Ravelo, Carlos E. Ferreira
- Theoretical Computer Science, 2019
- Download here Baixe aqui Baje aquí DOI: 10.1016/j.tcs.2018.11.008
A PTAS for the Metric Case of the Minimum Sum-Requirement Communication Spanning Tree Problem
- Santiago V. Ravelo, Carlos E. Ferreira
- Discrete Applied Mathematics, 2017
- Download here Baixe aqui Baje aquí DOI: 10.1016/j.dam.2016.09.031
PTAS's for Some Metric p-Source Communication Spanning Tree Problems
- Santiago V. Ravelo, Carlos E. Ferreira
- International Workshop on Algorithms and Computation (WALCOM), 2015
- Download here Baixe aqui Baje aquí DOI: 10.1007/978-3-319-15612-5_13
A PTAS for the Metric Case of the Minimum Sum-Requirement Communication Spanning Tree Problem
- Santiago V. Ravelo, Carlos E. Ferreira
- Conference on Algorithms and Discrete Applied Mathematics (CALDAM), 2015
- Download here Baixe aqui Baje aquí DOI: 10.1007/978-3-319-14974-5_2
Projects
Projetos
Proyectos
AICaBI: Artificial Intelligence for Cancer Biomarkes Identification
Coordinator: Coordenador: Coordinador: Márcio Dorn
Institutions: Federal University of Rio Grande do Sul (UFRGS), Pontifical Catholic University of Rio Grande do Sul (PUCRS), University of Santiago de Chile (USACH), and Sorbonne University - Pierre and Marie Curie (UPMC) Instituições: Universidade Federal do Rio Grande do Sul (UFRGS), Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS), Universidade de Santiago de Chile (USACH) e Universidade Sorbonne - Pierre e Marie Curie (UPMC) Instituciones: Universidad Federal de Rio Grande do Sul (UFRGS), Pontificia Universidad Católica de Rio Grande do Sul (PUCRS), Universidad de Santiago de Chile (USACH) y Universidad Sorbonne - Pierre y Marie Curie (UPMC)
Financial support: STIC-AMSUD, CAPES Financiador: STIC-AMSUD, CAPES Financiador: STIC-AMSUD, CAPES
Students
Alunos
Alumnos
Ended Supervisions
Orientações Finalizadas
Tutorías Concluídas
Jordi Pujol Ricarte
Scientific initiationIniciação científicaIniciación científica: Algoritmos para problemas de otimização combinatória em redes de comunicação modelados com grafos
Felipe Furtado Lorenci
Master's thesisDissertação de mestradoTesis de maestría: The joint order batching and picking routing problem: algorithms and new formulation
Tiago Furtado Drehmer Pinheiro
Co-supervisorCo-orientadoraCo-tutora: Luciana Salete Buriol
Master's thesisDissertação de mestradoTesis de maestría: The k-labeled spanning forest problem: complexity, approximability, formulations and algorithms
Giovane Alves Fonseca
Bachelor's thesisTrabalho de conclusão de cursoTesis de graduación: Formulations and algorithms for the Optimum Communication Spanning Tree problem
Leonardo Abreu Nahra
Co-supervisorCo-orientadoraCo-tutora: Luciana Salete Buriol
Bachelor's thesisTrabalho de conclusão de cursoTesis de graduación: Proof of NP-hardness, new mathematical formulation and constructive heuristic for In-band Network Monitoring Optimization
Contact
Contato
Contacto
Students interested in pursuing graduate studies in Computer Science on Combinatorial Optimization, Algorithms or Operational Research, or undergraduate studies on those themes, feel free to contact me.
Alunos interessados na pós-graduação em Ciência da Computação abordando Otimização Combinatória, Algoritmos ou Pesquisa Operacional, ou que se interessem em iniciar pesquisas na graduação nesses temas, fiquem à vontade para me contatar.
Estudiantes interesados en cursar posgrado en Ciencia de la Computación sobre Optimización Discreta, Algoritmos o Investigación de Operaciones, o que se interesen en comenzar una investigación de pregrado sobre esos temas, siéntanse libres para contactarme.
Address:
Endereço:
Dirección:
Av. Albert Einstein, 1251, Sala 06, Cidade Universitária, Campinas, SP, Brasil. CEP: 13083-852
Email:
ravelo@unicamp.br
Phone:
Telefone:
Teléfono:
+55 (19) 3521 0334