Honors & Awards

• Best Paper Award runner-up XXXVII Congress of the Brazilian Society for Computing, Theoretical Computer Science track (ETC-CSBC), 2017

• Best Student Paper Award International Symposium on Artificial Intelligence and Mathematics (ISAIM), 2012

• ACM International Collegiate Programming Contest Awards

  • Six Gold, Three Silver, and Four Bronze Medals at Brazilian Regionals: 1998 – 2005
  • World Finals’ Java Challenge Championship: 2002
  • World Finals' Latin America Championships: 1999, 2001
  • South America Championship: 2001
  • Brazilian Honorable Mentions: 1996, 1997

• Honored lecturer at University of Osasco, 2004 and at Anhembi-Morumbi University, 2001

Fellowships

• FAPESP Postdoctoral Fellowship Mar. 2015 – Feb. 2017
• Louis Bevier Dissertation Fellowship, Rutgers University Sep. 2011 – Aug. 2012
• CAPES / Fulbright Graduate Fellowship Sep. 2006 – Aug. 2010
• CNPq Graduate Fellowship Mar. 1997 – Feb. 1999
• CNPq Undergraduate Research Fellowship Aug. 1995 – Jul. 1996

Academic

I Have served in the program committee of:

• Conference on Uncertainty in Artificial Intelligence (UAI) from 2015 to 2019
• International Conference on Artificial Intelligence and Statistics, AISTATS-2019
• International Workshop on Computational Optimization (WCO-FedCSIS) in 2018 and 2019
• International Joint Conference on Artificial Intelligence, IJCAI-2016

And have refereed for:

• Integer Programming and Combinatorial Optimization, IPCO-2019
• Conference on Neural Information Processing Systems, NeurIPS-2019
• International Conference on Artificial Intelligence and Statistics, AISTATS-2016
• Discrete Applied Mathematics (DAM)
• Optimization Letters
• International Journal of Approximate Reasoning

I coached the IME-USP teams that took part in the ACM International Collegiate Programming Contest from 1998 to 2005. See also the Brazilian regional webpage (in Portuguese).

Corporate

I have worked independently as a consultant for some companies in the past. The nature of those works ranged from optimization and simulation to data analysis and inventory allocation to internet applications and database systems development.

Master

• W. S. Melo, Integer/Mixed Linear Optimization with Discrete Stochastic Demands, UFABC, in progress, co-advised with Cristina M. Sato.

Research Experience for Undergrads (REU)

• E. Erbert, Partition Problems in Graphs, UFABC, in progress.
• M. F. da Fonseca, Capsules in Deep Learning, UFABC, in progress.
• N. G. N. Sampaio, Structural and Algorithmic Aspects of Submodular Functions, UFABC, in progress.
• V. H. P. Monteiro, Deep Learning and Deep Networks: Models, Algorithms, and Applications, UFABC, 2017–2018.
• L. B. dos Santos, Spectral Graph Theory and Optimization: Sparsifiers and Expanders, UFABC, 2017–2018, co-advised with Cristina M. Sato.
• M. F. da Fonseca, Deep Learning: Theory and Applications, UFABC, 2017–2018, co-advised with Cristina M. Sato.
• M. Brás and M. Gatto, Genetic Heuristics for the School Timetable Problem with Precedence Constraints, PUC-SP, 2005.
• G. Henrique and L. Martins, A Web-based Solution to Help Manage and Run Political Campaigns, PUC-SP, 2005.

Research Experience for High Schoolers (REHS)

• L. M. Campo, Quadratizations of Submodular Functions, UFABC, 2018, financed by PIBIC-Jr./CNPq.

Current

• 2023.3: Programação Matemática – BCC & BM

Past

• 2023.2: Teoria dos Grafos (Estudo Dirigido) – BCC
• 2023.1: Matemática Discreta – BCC & BM
• 2022.2: Análise de Algoritmos (Analysis of Algorithms) – BCC
• 2022.2: Métodos de Otimização Aplicados à Engenharia de Produção (Optimization Models and Algorithms) – MEP
• 2022.2: Programação Matemática (Estudo Dirigido) (Linear Optimization) – BCC
• 2022.2: Teoria dos Grafos (Estudo Dirigido) (Intro to Graph Theory) – BCC
• 2022.1: Matemática Discreta (Intro to Discrete Math) – BCC & BM
• 2021.3: Programação Matemática (Linear Optimization) – BCC & BM
• 2021.2: Matemática Discreta (Intro to Discrete Math) – BCC & BM
• 2021.2: Métodos de Otimização (Algorithms for Convex Optimization) – BCC & BM
• 2021.1: Comunicação e Redes (Intro to Network Science) – BCT
• 2020.S: Comunicação e Redes (Intro to Network Science) – BCT
• 2020.S: Métodos de Otimização Aplicados à Engenharia de Produção (Optimization Models and Algorithms) – MEP
• 2020.S: Programação Matemática (Linear Optimization) – BCC & BM
• 2020.1: Processamento da Informação (Intro to Programming in Python) – BCT
• 2019.3: Seminários Avançados em Engenharia de Produção (Seminar in Industrial and Systems Engineering) – MEP
• 2019.2: Comunicação e Redes (Intro to Network Science) – BCT
• 2019.1: Linguagens Formais e Autômatos (Automata and Formal Languages) – BCC
• 2019.1: Processamento da Informação (Intro to Programming in Python) – BCT
• 2018.2: Comunicação e Redes (Intro to Network Science) – BCT
• 2018.1: Linguagens Formais e Autômatos (Automata and Formal Languages) – BCC
• 2018.1: Processamento da Informação (Intro to Programming in Python) – BCT
• 2017.3: Teoria dos Grafos (Intro to Graph Theory) – BCC
• 2017.2: Comunicação e Redes (Intro to Network Science) – BCT
• 2017.2: Bases Computacionais da Ciência (Intro to Computational Thinking) – BCT