Carlos Henrique Cardonha

Carlos Cardonha é Pesquisador do Grupo de Systems of Engagement and Insight da IBM Research - Brazil. Atualmente, ele está trabalhando com o desenvolvimento e aplicação de técnicas de modelagem matemática, otimização e aprendizado estatístico em temas relacionados a Smarter Cities, Educação e outros. Possui bacharelado em Ciência da Computação pela Universidade de São Paulo (2004), mestrado em Ciências da Computação pela Universidade de São Paulo (2006) e doutorado em Matemática pela Technische Universität Berlin (2011). Ele trabalhou como pesquisador visitante no Konrad-Zuse-Zentrum für Informationstechnik Berlin, onde desenvolveu métodos de Matemática Discreta, Programação Matemática e Otimização Combinatória para problemas de logística em transportes.

Informações coletadas do Lattes em 02/12/2024

Acadêmico

Formação acadêmica

Doutorado em Matemática

2007 - 2011

Technische Universität Berlin, TUBerlin
Título: Applied Methods to the Vehicle Positioning Problem
Orientador: Martin Grötschel
Coorientador: Ralf Borndörfer. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Programação Inteira; Programação Linear; Otimização Combinatória; Programação Quadrática.Grande área: Ciências Exatas e da TerraSetores de atividade: Transporte terrestre.

Mestrado em Ciências da Computação

2005 - 2006

Universidade de São Paulo
Título: Sistemas Interativos de Prova Clássicos e Quânticos,Ano de Obtenção: 2006
Cristina Gomes Fernandes.Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: Computabilidade; Complexidade Computacional; computação quântica.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.

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

2001 - 2004

Universidade de São Paulo

Idiomas

Inglês

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

Espanhol

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Alemão

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada/Especialidade: Matemática Discreta e Combinatória.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: 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: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.

Participação em eventos

IBM Research Colloquium.Apresentação da ferramenta EVA. 2015. (Encontro).

REATECH. Apresentação da ferramenta Smartboard. 2013. (Exposição).

IBM Forum. Stand da IBM Research - Brazil. 2012. (Exposição).

IBM Research Colloquium. Apresentação da ferramenta Smartboard. 2012. (Exposição).

Complexity of Geometric Problems. 2008. (Seminário).

MG60. 2008. (Encontro).

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

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

Combinatorial Optimization at Work. 2005. (Outra).

Jornadas de Iniciação Científica do IMPA.Computação Quântica: Complexidade e Algoritmos. 2004. (Outra).

Participação em bancas

Aluno: ALANDER PEREIRA DOS SANTOS

Gordana ManicJair DonadelliCardonha, Carlos. Problema da Cobertura por Caminhos com k-Terminais-Fixos em Grafos de Intervalos. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do ABC.

Orientou

Luiz Fernandoy

Validation of Solutions for the Vehicle Positioning Problem; 2010; Iniciação Científica - Zuse Institute Berlin; Orientador: Carlos Henrique Cardonha;

Produções bibliográficas

KOCH, FERNANDO ; Assunção, Marcos D. ; Cardonha, Carlos ; NETTO, MARCO A.S. . Optimising resource costs of cloud computing for education. Future Generation Computer Systems , v. 55, p. 473-479, 2016.
DE ASSUNÇÃO, MARCOS DIAS ; CARDONHA, CARLOS H. ; NETTO, MARCO A.S. ; CUNHA, RENATO L.F. . Impact of user patience on auto-scaling resource capacity for cloud services. Future Generation Computer Systems , v. 55, p. 41-50, 2016.
KOCH, F. L. ; DE ASSUNCAO, M. D. ; CARDONHA, C. H. ; NETTO, M. A. S. ; PRIMO, T. T. . An architecture and algorithm for context-aware resource allocation for digital teaching platforms. IBM Journal of Research and Development (Print) , v. 59, p. 1:1-1:9, 2015.
CARDONHA, C. H. ; GUIMARAES, R. L. ; MATTOS, A. ; NOGIMA, J. ; AVEGLIANO, P. ; GALLO, D. ; HERRMANN, R. ; BORGER, S. . Toward a platform to support vocational training of people with disabilities. IBM Journal of Research and Development (Print) , v. 59, p. 2:1-2:7, 2015.
CARDONHA, C. H. ; GUIMARÃES, R. L. ; MATTOS, A. ; NOGIMA, J. ; AVEGLIANO, P. ; GALLO, D. ; HERRMANN, R. ; BORGER, S. . Toward a platform to support vocational training of people with disabilities. IBM Journal of Research and Development (Print) , v. 59, p. 2:1-2:7, 2015.
GALLO, DIEGO S. ; Cardonha, Carlos ; AVEGLIANO, PRISCILLA ; CARVALHO, TEREZA CRISTINA . Taxonomy of Citizen Sensing for Intelligent Urban Infrastructures. IEEE Sensors Journal , v. 14, p. 4154-4164, 2014.
Cardonha, Carlos ; Borndörfer, Ralf . A set partitioning approach to shunting. Discrete Applied Mathematics , v. 160, p. 2636-2644, 2012.
KOCH, FERNANDO ; Cardonha, Carlos ; Gentil, Jan Marcel ; BORGER, SERGIO . A Platform for Citizen Sensing in Sentient Cities. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2013, v. , p. 57-66.
Cardonha, Carlos ; Assunção, Marcos D. ; Netto, Marco A. S. ; Cunha, Renato L. F. ; Queiroz, Carlos . Patience-Aware Scheduling for Cloud Services: Freeing Users from the Chains of Boredom. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2013, v. , p. 550-557.
Borndörfer, Ralf ; Cardonha, Carlos . A Binary Quadratic Programming Approach to the Vehicle Positioning Problem. Modeling, Simulation and Optimization of Complex Processes. 1ed.: Springer Berlin Heidelberg, 2012, v. , p. 41-51.
CUNHA, RENATO L.F. ; ASSUNCAO, MARCOS D. ; Cardonha, Carlos ; NETTO, MARCO A.S. . Exploiting User Patience for Scaling Resource Capacity in Cloud Services. In: 2014 IEEE 7th International Conference on Cloud Computing (CLOUD), 2014, Anchorage. 2014 IEEE 7th International Conference on Cloud Computing, 2014. p. 448-455.
NETTO, MARCO A.S. ; Cardonha, Carlos ; CUNHA, RENATO L.F. ; ASSUNCAO, MARCOS D. . Evaluating Auto-scaling Strategies for Cloud Computing Environments. In: 2014 IEEE 22nd International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS, 2014, Paris. 2014 IEEE 22nd International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems, 2014. p. 187-196.
AVEGLIANO, PRISCILLA ; Cardonha, Carlos . Investigating the hidden losses caused by out-of-shelf events: a multi-agent-based simulation. In: WSC '14 - Winter Simulation Conference, 2014, Savannah, Georgia. Proceedings of the 2014 Winter Simulation Conference, 2014. p. 242-251.
Cardonha, Carlos ; GALLO, DIEGO ; AVEGLIANO, PRISCILLA ; HERRMANN, RICARDO ; KOCH, FERNANDO ; BORGER, SERGIO . A crowdsourcing platform for the construction of accessibility maps. In: the 10th International CrossDisciplinary Conference, 2013, Rio de Janeiro. Proceedings of the 10th International Cross-Disciplinary Conference on Web Accessibility - W4A '13. New York: ACM Press. p. 1.
Cardonha, Carlos ; HERRMANN, RICARDO ; AVEGLIANO, PRISCILLA . Theoretical Aspects of the Integrated Route Planning Problem. In: 6th International Conference on Management and Control of Production and Logistics, 2013, Fortaleza, Brasil. Proceedings of the 6th International Conference on Management and Control of Production and Logistics,, 2013.
CAVALCANTE, V. F. ; Cardonha, Carlos ; HERRMANN, RICARDO . A Resource Constrained Project Scheduling Problem with Bounded Multitasking. In: The 6th International Conference on Management and Control of Production and Logistics, 2013, Fortaleza, Brasil. Proceedings of the 6th International Conference on Management and Control of Production and Logistics,, 2013.
SERRANO, ANTONIO ; COSTA, JOÃO ; Cardonha, Carlos ; FERNANDES, ARARIGLENO ; SOUSA JÚNIOR, RAFAEL . Neural Network Predictor for Fraud Detection: A Study Case for the Federal Patrimony Department. In: The Seventh International Conference on Forensic Computer Science, 2012. Proceedings of the Seventh International Conference on Forensic Computer Science.
FERNANDES, C. G. ; SILVA, M. K. C. ; Cardonha, Carlos . 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.
SULTANUM, NICOLE ; MOTTA, MATEUS ; Cardonha, Carlos ; HERRMANN, RICARDO . Watchboard. In: the extended abstracts of the 32nd annual ACM conference, 2014, Toronto. Proceedings of the extended abstracts of the 32nd annual ACM conference on Human factors in computing systems - CHI EA '14. New York: ACM Press, 2014. p. 2107.
MATTOS, ANDRÉA BRITTO ; Cardonha, Carlos ; GALLO, DIEGO ; AVEGLIANO, PRISCILLA ; HERRMANN, RICARDO ; BORGER, SERGIO . Marker-based image recognition of dynamic content for the visually impaired. In: the 11th Web for All Conference, 2014, Seoul. Proceedings of the 11th Web for All Conference on - W4A '14. New York: ACM Press, 2014. p. 1.
Cardonha, Carlos ; Borndörfer, Ralf . A Set Partitioning Approach to Shunting. In: V Latin-American Algorithms, Graphs and Optimization Symposium, 2009, Gramado. Electronic Notes in Discrete Mathematics. v. 35. p. 359-364.
MATTOS, ANDRÉA BRITTO ; HERRMANN, RICARDO ; Cardonha, Carlos ; GALLO, DIEGO ; AVEGLIANO, PRISCILLA ; BORGER, SERGIO . Marker-assisted recognition of dynamic content in public spaces. In: the 11th Web for All Conference, 2014, Seoul. Proceedings of the 11th Web for All Conference on - W4A '14. New York: ACM Press, 2014. p. 1.
SHIGENO, KELLY ; BORGER, SERGIO ; GALLO, DIEGO ; HERRMANN, RICARDO ; MOLINARO, MATEUS ; Cardonha, Carlos ; KOCH, FERNANDO ; AVEGLIANO, PRISCILLA . Citizen sensing for collaborative construction of accessibility maps. In: the 10th International CrossDisciplinary Conference, 2013, Rio de Janeiro. Proceedings of the 10th International Cross-Disciplinary Conference on Web Accessibility - W4A '13. New York: ACM Press. p. 1.
MOLINARO, MATEUS ; BORGER, SERGIO ; Cardonha, Carlos ; GALLO, DIEGO ; HERRMANN, RICARDO ; FERREIRA, ADEMIR ; KOCH, FERNANDO ; AVEGLIANO, PRISCILLA ; SHIGENO, KELLY . Smarter board. In: the 10th International CrossDisciplinary Conference, 2013, Rio de Janeiro. Proceedings of the 10th International Cross-Disciplinary Conference on Web Accessibility - W4A '13. New York: ACM Press, 2013. p. 1.
Cardonha, C. ; HERRMANN, R. ; CAVALCANTE, V. F. . The Online Resource Constrained Project Scheduling Problem with Bounded Multitasking. 2015. (Apresentação de Trabalho/Simpósio).
Cardonha, Carlos ; HERRMANN, RICARDO ; CAVALCANTE, V. F. . The Online Resource Constrained Project Scheduling Problem with Bounded Multitasking. 2014. (Apresentação de Trabalho/Conferência ou palestra).
Cardonha, Carlos ; CAVALCANTE, V. F. . Scheduling IT Service Activities Considering Multitasking with Cognitive Overhead. 2013. (Apresentação de Trabalho/Conferência ou palestra).
Cardonha, C. ; Assunção, Marcos D. ; Netto, Marco A. S. ; Cunha, Renato L. F. ; Queiroz, Carlos . Patience-aware Scheduling for Cloud Services: Freeing Users from the Chains of Boredom. 2013. (Apresentação de Trabalho/Conferência ou palestra).
Cardonha, Carlos ; HERRMANN, RICARDO . A Nova era da Computação Cognitiva. 2013. (Apresentação de Trabalho/Outra).
Cardonha, Carlos ; Borndoerfer, R. . A fast solution method applied to the vehicle positioning problem and its multi-periodic, online, and robust extension ISMP 2012. 2012. (Apresentação de Trabalho/Simpósio).
Cardonha, Carlos . Applied Methods for the Vehicle Positioning Problem. 2012. (Apresentação de Trabalho/Seminário).
Borndörfer, Ralf ; Cardonha, Carlos . A Column Generation Approach to Shunting. 2010. (Apresentação de Trabalho/Conferência ou palestra).
Cardonha, Carlos ; Borndörfer, Ralf . Solving the Vehicle Positioning Problem. 2009. (Apresentação de Trabalho/Conferência ou palestra).
Borndörfer, Ralf ; Cardonha, Carlos . A Nonlinear Approach to the Vehicle Positioning Problem. 2009. (Apresentação de Trabalho/Simpósio).
Cardonha, Carlos ; Borndörfer, Ralf . A Column Generation Approach to Shunting. 2009. (Apresentação de Trabalho/Simpósio).
Cardonha, Carlos ; Borndörfer, Ralf . A Binary Quadratic Programming Approach to the Vehicle Positioning Problem. 2009. (Apresentação de Trabalho/Conferência ou palestra).
Borndörfer, Ralf ; Cardonha, Carlos . On the Multi-Periodic Vehicle Positioning Problem. 2008. (Apresentação de Trabalho/Conferência ou palestra).
Cardonha, Carlos ; FERNANDES, C. G. ; SILVA, M. K. C. . Computação Quântica: Complexidade e Algoritmos. 2004. (Apresentação de Trabalho/Outra).
Cardonha, Carlos ; Borndörfer, Ralf . A Binary Quadratic Programming Approach to the Vehicle Positioning Problem. Berlim: Zuse Institute Berlin, 2009 (Relatório Técnico Arquivado).
Cardonha, Carlos ; Borndörfer, Ralf . A Set Partitioning Approach to Shunting. Berlin: Zuse Institute Berlin, 2009 (Relatório Técnico Arquivado).
Cardonha, Carlos ; FERNANDES, C. G. ; SILVA, M. K. C. . Computação Quântica: Complexidade e Algoritmos 2005 (Relatório Técnico Arquivado).

Prêmios

2015

IBM Master Inventor, IBM.

2014

Delegates Prize in the Paciello Group Web Accessibility Challenge, Paciello Group (at the International Conference on Web Accessibility).

2013

John Slatin Award for Best Communication Paper, International Cross-Disciplinary Conference on Web Accessibility (W4A).

2007

26 Lugar (técnico) - ACM ICPC World Finals, Association for Computing Machinery.

2007

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

2007

Menção Honrosa (técnico) - ACM ICPC World Finals, Association for Computing Machinery.

2006

Medalha de Ouro (técnico) - ACM ICPC South America Regional, Sociedade Brasileira de Computação.

2005

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

2005

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

2005

Campeão (Equipes da USP) da Maratona de Programação da USP, Instituto de Matemática e Estatística - 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.

2004

Campeão da Maratona de Programação da PUC-SP, Pontifícia Universidade Católica de São Paulo.

2004

Campeão da Maratona de Programação da USP, Instituto de Matemática e Estatística - USP.

2003

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

2003

Campeão da Maratona de Programação da PUC-SP, Pontifícia Universidade Católica de São Paulo.

2003

Campeão da Maratona de Programação da USP, Instituto de Matemática e Estatística - USP.

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.

2002

Vice-campeão da Maratona de Programação da PUC-SP, Pontifícia Universidade Católica de São Paulo.

2002

Campeão (Equipes da USP) da Maratona de Programação da USP, Instituto de Matemática e Estatística - USP.

2002

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

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.

2001

Campeão (Categoria Times de Graduação) da Maratona de Programação da USP, Instituto de Matemática e Estatística - USP.

Histórico profissional

Endereço profissional

IBM Research - Brazil. , Rua Tutóia 1157, Vila Mariana, 04007005 - São Paulo, SP - Brasil, Telefone: (55) 21323934, URL da Homepage:

Experiência profissional

2012 - Atual

IBM Research - Brazil

Vínculo: Celetista, Enquadramento Funcional: Research Staff Member, Carga horária: 44, Regime: Dedicação exclusiva.