Marcel Kenji de Carli Silva

Formação acadêmica

Doutorado em Combinatorics & Optimization

2007 - 2013

University of Waterloo
Título: Geometric Ramifications of the Lovász Theta Function and Their Interplay with Duality
Orientador: Levent Tunçel

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

2005 - 2007

Instituto de Matemática e Estatística - Universidade de São Paulo
Título: Relações min-max em otimização combinatória
, Ano de Obtenção: 2007.Yoshiko Wakabayashi.Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: otimização combinatória; teoria dos grafos; igualdade min-max; combinatória poliédrica.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Matemática Discreta e Combinatória.

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

2001 - 2004

Instituto de Matemática e Estatística - Universidade de São Paulo
Título: Computação Quântica: Complexidade e Algoritmos
Orientador: Cristina Gomes Fernandes

Pós-doutorado

2014 - 2014

Pós-Doutorado. , Instituto de Matemática e Estatística - Universidade de São Paulo, IME-USP, Brasil. , Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.

2013 - 2013

Pós-Doutorado. , University of Waterloo, UW, Canadá.

Idiomas

Inglês

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

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: Teoria da Computação/Especialidade: Otimização Combinatória.

Grande área: Engenharias / Área: Engenharia de Produção / Subárea: Pesquisa Operacional/Especialidade: Programação Linear, Não-Linear, Mista e Dinâmica.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Teoria dos Grafos.

Organização de eventos

FERREIRA, C. E. ; LINTZMAYER, C. N. ; MOTA, G. O. ; DE CARLI SILVA, MARCEL K. ; PINA JR, J. C. ; PEDROSA, L. L. C. ; SCHOUERY, R. C. S. ; XAVIER, E. C. . LAGOS 2021 - XI Latin and American Algorithms, Graphs and Optimization Symposium. 2021. (Congresso).

LINTZMAYER, C. N. ; MOTA, G. O. ; PINA JR, J. C. ; WAKABAYASHI, Y. ; DE CARLI SILVA, MARCEL K. ; FERREIRA, C. E. ; FERNANDES, C. G. ; MANDEL, A. ; MARTIN, D. M. ; PEDROSA, L. L. C. ; ROBINS, S. ; SATO, C. M. ; SCHOUERY, R. C. S. ; XAVIER, E. C. . Latin American Theoretical Informatics Symposium - LATIN. 2021. (Congresso).

Participação em eventos

Graphs meet quantum.Graphs meet quantum. 2023. (Encontro).

International Symposium on Mathematical Programming.An Axiomatic Duality Framework for the Theta Body and Related Convex Corners. 2015. (Simpósio).

Colóquio Brasileiro de Matemática.Sparse Sums of Positive Semidefinite Matrices. 2013. (Simpósio).

Tutte Seminar.The Boundary Structure of Spectrahedra Arising from the Lovász Theta Function. 2013. (Seminário).

International Symposium on Mathematical Programming.Optimization problems over unit-distance representations of graphs. 2012. (Simpósio).

Matchings, Matroids, and Extensions, A Conference in Honour of Bill Cunningham?s 65th Birthday. 2012. (Simpósio).

Thematic Program on Discrete Geometry and Applications.Geometric Representations of Graphs, Semidefinite Optimization and Min-Max Theorems. 2011. (Simpósio).

WaterMellon Workshop on Extremal Graph Theory. 2009. (Simpósio).

Ontario Combinatorics Workshop. 2008. (Simpósio).

Workshop on Foundations of Computer Science: Combinatorial Algorithms and Discrete Structures. 2007. (Oficina).

International Symposium on Mathematical Programming. 2006. (Simpósio).

Brazilian Symposium on Graphs, Algorithms, and Combinatorics. 2005. (Simpósio).

Colóquio Brasileiro de Matemática.Computação Quântica: Complexidade e Algoritmos. 2005. (Simpósio).

Jornadas de Iniciação Científica no IMPA.Computação Quântica: Complexidade e Algoritmos. 2004. (Simpósio).

Participação em bancas

Aluno: Nathan Benedetto Proença

DE CARLI SILVA, MARCEL K.; Tunçel, Levent; HOPPEN, C.. Combinatorial and Geometric Dualities in Graph Homomorphism Optimization Problems. 2021. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Letícia Henares Valentini

DE CARLI SILVA, MARCEL K.; GRUBER, A. B. G.; MARTIN, D. M.. Algorithms and bounds for the independence number in distance graphs. 2019. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Grover Enrique Castro Guzman

FUJITA, A.; RODRIGUES, F. A.;DE CARLI SILVA, MARCEL K.; LOPES, F. M.; João Ricardo Sato. Métodos Estatístico-Computacionais Baseados na Densidade Espectral de Grafos e Suas Aplicações. 2021. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Leonardo Makoto Mito

Gabriel Haeser;DE CARLI SILVA, MARCEL K.; SILVA, P. J. S.. Condições de otimalidade de primeira e segunda ordem para otimização cônica não-linear. 2020. Exame de qualificação (Doutorando em Doutorado em Matemática Aplicada) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Fabricio Caluza Machado

ROBINS, S.;DE CARLI SILVA, MARCEL K.; Jorge Luis Ramírez Alfonsín. Applications of Harmonic Analysis to Discrete Geometry. 2019. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Daiana dos Santos Viana

de Carli Silva, Marcel K.. Tópicos em condições de otimalidade para programação semidefinida. 2017. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Rafael Santos Coelho

de Carli Silva, Marcel K.. Projeto topológico e energético de redes: aproximabilidade, complexidade e formulações. 2014. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Luis Eduardo Zambrano Fernández

de Carli Silva, Marcel K.. Densidade local em grafos. 2014. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Thiago Lima Oliveira

de Carli Silva, Marcel K.; GRUBER, A. B. G.; HOPPEN, C.. The Maximum k-Colorable Subgraph Problem. 2023. Exame de qualificação (Mestrando em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Lucas Silva Arenstein

KOHAYAKAWA, Y.; FERNANDES, C. G.;DE CARLI SILVA, MARCEL K.. Quantum Computing: From Scratch to Grover. 2022. Exame de qualificação (Mestrando em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Rafael Zuolo Coppini Lima

KOHAYAKAWA, Y.;DE CARLI SILVA, MARCEL K.; HOPPEN, C.. Redução de dimensão para particionamento projetivo. 2021. Exame de qualificação (Mestrando em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Nathan Benedetto Proença

DE CARLI SILVA, MARCEL K.; HOPPEN, C.; Tunçel, Levent. Combinatorial and Geometric Dualities in Graph Homomorphism Optimization Problems. 2020. Exame de qualificação (Mestrando em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Heitor Reis Ribeiro

MAUA, D. D.;de Carli Silva, Marcel K.; PINA JR, J. C.. Branch-and-Bound Algorithms for Maximum A Posteriori Inference in Sum-Product Networks. 2018. Exame de qualificação (Mestrando em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Jainor Nestor Cardenas Choque

FREIRE, A. S.;de Carli Silva, Marcel K.; PINA JR, J. C.. Optimum Communication Spanning Tree. 2018. Exame de qualificação (Mestrando em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Victor Sanches Portella

DE CARLI SILVA, MARCEL K.; GRUBER, A. B. G.; MOLINARO, M.. Online Convex Optimization: Algorithms, Learning, and Duality. 2018. Exame de qualificação (Mestrando em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Letícia Henares Valentini

de Carli Silva, Marcel K.. Approximating Independent Sets on the Unit-Distance Graph. 2017. Exame de qualificação (Mestrando em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Karina Suemi Awoki

DE CARLI SILVA, MARCEL K.; GRUBER, A. B. G.; COUTINHO, GABRIEL. Árvores entrelaçadoras de polinômios e grafos de Ramanujan. 2017. Exame de qualificação (Mestrando em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Fabricio Caluza Machado

de Carli Silva, Marcel K.. Limitantes de programação semidefinida para o número de contato. 2016. Exame de qualificação (Mestrando em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Camila Miyuki de Sousa

de Carli Silva, Marcel K.. Estudo da aplicação de métodos de programação não linear para um problema de cobertura. 2015. Exame de qualificação (Mestrando em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Ariel Serranoni Soares da Silva

DE CARLI SILVA, MARCEL K.; GRUBER, A. B. G.; Gabriel Haeser. Relative Entropy Optimization and Applications in Statistical Learning. 2019. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Matemática Aplicada) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Aluno: Ricardo Augusto Trindade Carvalho

de Carli Silva, Marcel K.. Aplicação de Programação Linear Inteira Mista a problemas de futebol. 2015. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Matemática Aplicada) - Instituto de Matemática e Estatística - Universidade de São Paulo.

Orientou

Thiago Lima Oliveira

The Maximum k-Colorable Subgraph Problem; Início: 2021; Dissertação (Mestrado profissional em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Nathan Benedetto Proença

Combinatorial and Geometric Dualities in Graph Homomorphism Optimization Problems; 2021; Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcel Kenji de Carli Silva;

Karina Suemi Awoki

Árvores entrelaçadoras de polinômios e grafos de Ramanujan; 2020; Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcel Kenji de Carli Silva;

Victor Sanches Portella

Online Convex Optimization: Algorithms, Learning, and Duality; 2019; Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcel Kenji de Carli Silva;

Fabrício Vasconcellos Puppi

Implementações funcionais de algoritmos em grafos; 2015; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Matemática) - Instituto de Matemática e Estatística - Universidade de São Paulo; Orientador: Marcel Kenji de Carli Silva;

Thiago Lima Oliveira

Spectral Sparsification of Graphs; 2021; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo; Orientador: Marcel Kenji de Carli Silva;

Germano Hüning Neuenfeld

Approximation Algorithms and the Spanning Tree Polytope; 2020; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo; Orientador: Marcel Kenji de Carli Silva;

Ariel Serranoni Soares da Silva

Relative Entropy Optimization and Applications in Statistical Learning; 2019; Iniciação Científica; (Graduando em Bacharelado em Matemática Aplicada) - Instituto de Matemática e Estatística - Universidade de São Paulo; Orientador: Marcel Kenji de Carli Silva;

Nathan Benedetto Proença

Sampling Spanning Trees: Theory and Algorithms; 2017; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo; Orientador: Marcel Kenji de Carli Silva;

Victor Sanches Portella

Algoritmos quase lineares para fluxos em grafos; 2016; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Marcel Kenji de Carli Silva;

Yan Soares Couto

Árvores geradoras aleatórias; 2015; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo; Orientador: Marcel Kenji de Carli Silva;

Produções bibliográficas

PROENÇA, NATHAN BENEDETTO ; DE CARLI SILVA, MARCEL K. ; Coutinho, Gabriel . Dual Hoffman Bounds for the Stability and Chromatic Numbers Based on Semidefinite Programming. SIAM JOURNAL ON DISCRETE MATHEMATICS , v. 35, p. 2880-2907, 2021.
DE CARLI SILVA, MARCEL K. ; Tunçel, Levent . A Notion of Total Dual Integrality for Convex, Semidefinite, and Extended Formulations. SIAM JOURNAL ON DISCRETE MATHEMATICS , v. 34, p. 470-496, 2020.
DE CARLI SILVA, MARCEL K. ; Tunçel, Levent . Strict Complementarity in Semidefinite Optimization with Elliptopes Including the MaxCut SDP. SIAM JOURNAL ON OPTIMIZATION , v. 29, p. 2650-2676, 2019.
DE CARLI SILVA, MARCEL K. ; COUTINHO, GABRIEL ; GODSIL, CHRIS ; ROBERSON, DAVID E. . Algebras, Graphs and Thetas. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , v. 346, p. 275-283, 2019.
SATO, JOÃO RICARDO ; SATO, CRISTIANE MARIA ; SILVA, MARCEL K. DE CARLI ; BIAZOLI, CLAUDINEI EDUARDO . Commute Time as a Method to Explore Brain Functional Connectomes. BRAIN CONNECTIVITY , v. 9, p. 155-161, 2019.
de Carli Silva, Marcel K. ; Tunçel, Levent . An Axiomatic Duality Framework for the Theta Body and Related Convex Corners. Mathematical Programming , v. 162, p. 283-323, 2017.
de Carli Silva, Marcel K. ; Harvey, Nicholas J. A. ; SATO, C. M. . Sparse Sums of Positive Semidefinite Matrices. ACM Transactions on Algorithms , v. 12, p. 1-17, 2016.
de Carli Silva, Marcel K. ; Sato, Cristiane M. ; OLIVEIRA FILHO, F. M. . Flag algebras: a first glance. Nieuw Archief voor Wiskunde , v. 17, p. 193-199, 2016.
de Carli Silva, Marcel K. ; Tunçel, Levent . Vertices of Spectrahedra arising from the Elliptope, the Theta Body, and Their Relatives. SIAM JOURNAL ON OPTIMIZATION , v. 25, p. 295-316, 2015.
de Carli Silva, Marcel K. ; Tunçel, Levent . Optimization Problems over Unit-Distance Representations of Graphs. The Electronic Journal of Combinatorics , v. 20, p. 1-20, 2013.
de Carli Silva, Marcel K. ; CARDONHA, C. H. ; FERNANDES, C. G. . Computação Quântica - Complexidade e Algoritmos. In: Jornadas de Iniciação Científica no IMPA, 2004, Rio de Janeiro. Anais das Jornadas de Iniciação Científica no IMPA, 2004. v. 1.
de Carli Silva, Marcel K. . Introduction to Semidefinite Programming. 2023. (Apresentação de Trabalho/Conferência ou palestra).
DE CARLI SILVA, MARCEL K. . Some Discrete Aspects of Semidefinite Programming. 2021. (Apresentação de Trabalho/Conferência ou palestra).
Benedetto Proença, Nathan ; DE CARLI SILVA, MARCEL K. ; Coutinho, Gabriel . Dual Hoffman Bounds for the Stability and Chromatic Numbers Based on SDP. 2019. (Apresentação de Trabalho/Conferência ou palestra).
DE CARLI SILVA, MARCEL K. ; Tunçel, Levent . An Axiomatic Duality Framework for the Theta Body and Related Convex Corners. 2015. (Apresentação de Trabalho/Simpósio).
DE CARLI SILVA, MARCEL K. ; Harvey, Nicholas J. A. ; Sato, Cristiane M. . Somas esparsas de matrizes positivas semidefinidas. 2014. (Apresentação de Trabalho/Congresso).
de Carli Silva, Marcel K. ; Harvey, Nicholas J. A. ; Sato, Cristiane M. . Sparse Sums of Positive Semidefinite Matrices. 2013. (Apresentação de Trabalho/Simpósio).
de Carli Silva, Marcel K. ; Tunçel, Levent . Optimization problems over unit-distance representations of graphs. 2012. (Apresentação de Trabalho/Simpósio).
de Carli Silva, Marcel K. ; Tunçel, Levent . Geometric Representations of Graphs, Semidefinite Optimization and Min-Max Theorems. 2011. (Apresentação de Trabalho/Simpósio).
de Carli Silva, Marcel K. . Geometric Ramifications of the Lovász Theta Function and Their Interplay with Duality 2013 (Tese de Doutorado).
de Carli Silva, Marcel K. . Relações min-max em otimização combinatória 2007 (Dissertação de Mestrado).
de Carli Silva, Marcel K. ; CARDONHA, C. H. ; FERNANDES, C. G. . Computação Quântica: Complexidade e Algoritmos 2005 (Relatório Técnico Arquivado).

Projetos de pesquisa

2020 - Atual

Análise (espectral) de grafos/hipergrafos para comparar redes metabólicas do patógeno Trypanosoma sp, Descrição: O Trypanosoma é um gênero que contém duas espécies patogênicas para os seres humanos: Trypanosoma brucei e Trypanosoma cruzi. Essas duas espécies são relevantes em termos de economia, bem-estar e saúde. O metabolismo dos diferentes estágios de ambos os tripanossomatídeos patogênicos tem sido objeto de estudo não apenas por sua relevância para a economia e a saúde humana, mas também por seu interesse biológico intrínseco. Vários trabalhos relataram como as vias metabólicas centrais funcionam nesses parasitas. Além disso, baseados em análises omics, um quadro mais geral foi construído na última década. No entanto, tentativas de abordar a complexidade do metabolismo de T. cruzi e T. brucei ainda são escassas. Assim, propomos combinar algoritmos e estatísticas baseados na teoria dos grafos para responder a duas questões relevantes do parasitismo. (i) As redes metabólicas são mais complexas e interconectadas nos estágios dos insetos do que nos estágios dos mamíferos? (ii) Para cada tipo de hospedeiro (insetos ou mamíferos), as redes metabólicas desses parasitas são significativamente diferentes em termos de complexidade e conectividade entre suas sub-redes? As respostas a essas perguntas trarão informações biológicas valiosas em termos de adaptações metabólicas desses parasitas aos ambientes que eles colonizam em seus hospedeiros. Além disso, contribuirá para identificar freqüentes gargalos metabólicos essenciais para propor novos alvos de medicamentos metabólicos para o tratamento das infecções que causam. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Marcel Kenji de Carli Silva - Integrante / André Fujita - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Cooperação.
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: Marcel Kenji de Carli Silva - Integrante / Cristina Gomes Fernandes - Coordenador / Cristiane Maria Sato - Integrante / Alexandre da Silva Freire - Integrante / Álvaro Junio Pereira Franco - Integrante / Aritanan Borges Garcia Gruber - Integrante / Arnaldo Mandel - Integrante / Atílio Gomes Luiz - Integrante / Carlos Eduardo Ferreira - Integrante / Daniel Morgato Martin - Integrante / Gabriel M. Coutinho - Integrante / José Coelho de Pina Jr - Integrante / Karla R. Lima - Integrante / Maycon Sambinelli - Integrante / Sinai Robins - Integrante / Yoshiharu Kohayakawa - Integrante / Yoshiko Wakabayashi - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

Prêmios

2014

Outstanding Achievement in Graduate Studies, University of Waterloo.

2009

Outstanding Teaching Assistant Award, Department of Combinatorics and Optimization, University of Waterloo.

2005

Menção Honrosa, Congregação do IME-USP.

2004

Medalha de Prata - ACM ICPC South America Regional, Sociedade Brasileira de Computação.

2004

Medalha de Prata - Jornadas de Iniciação Científica do IMPA, Instituto de Matemática Pura e Aplicada.

2003

Medalha de Prata - ACM ICPC South America Regional, Sociedade Brasileira de Computação.

2002

Programming Excellence Award, Upsilon-Pi-Epsilon Honor Society for Computing Sciences.

2002

Medalha de Bronze - ACM ICPC South America Regional, Sociedade Brasileira de Computação.

2002

Menção Honrosa - ACM ICPC World Finals, Association for Computing Machinery.

2002

Campeão do Java Challenge - ACM ICPC World Finals, Association for Computing Machinery.

2001

Medalha de ouro na Olimpíada Brasileira de Informática, Sociedade Brasileira de Computação.

2001

Campeão - ACM ICPC South America Regional, Sociedade Brasileira de Computação.