Murilo Santos de Lima

Graduou-se em Ciência da Computação pela Universidade Federal da Bahia (UFBA, 2008) e em Música Popular - Contrabaixo pela Universidade Estadual de Campinas (Unicamp, 2016), concluiu seu mestrado em Ciência da Computação no Instituto de Matemática e Estatística da Universidade de São Paulo (IME-USP, 2011), e seu doutorado em Ciência da Computação na Universidade Estadual de Campinas (IC-Unicamp, 2018). Realizou pós-doutorado na Universidade de Reykjavík, Islândia, e na Universidade de Leicester, Reino Unido. Seus interesses de pesquisa incluem algoritmos de aproximação, modelos de otimização com incerteza (algoritmos online, otimização robusta e estocástica etc), algoritmos distribuídos e otimização combinatória. Atualmente trabalha como Engenheiro de Software na Google.

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

Acadêmico

Formação acadêmica

Doutorado em Doutorado em Ciência da Computação - UNICAMP

2014 - 2018

Universidade Estadual de Campinas
Título: Parking Permit and Network Leasing Problems
, Ano de obtenção: 2018. Orlando Lee. Coorientador: Mário César San Felice. Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: parking permit; leasing optimization; network design; approximation algorithms; competitive online algorithms.Grande área: Ciências Exatas e da Terra

Mestrado em Ciências da Computação

2009 - 2011

Universidade de São Paulo
Título: Aproximação de métricas finitas por métricas arbóreas e aplicações
, Ano de Obtenção: 2011.Cristina Gomes Fernandes.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: aproximação de métricas; métricas arbóreas; emparelhamento mínimo bipartido online; algoritmos de aproximação; algoritmos online.Grande área: Ciências Exatas e da Terra

Graduação em Música

2012 - 2016

Universidade Estadual de Campinas
Título: Primal-Dual: recital de formatura em Contrabaixo Popular
Orientador: José Alexandre Leme Lopes Carvalho

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

2004 - 2008

Universidade Federal da Bahia
Título: Protocolo Assíncrono para Detecção de Falhas Bizantinas em Sistemas Distribuídos Dinâmicos
Orientador: Fabíola Gonçalves Pereira Greve

Pós-doutorado

2019 - 2021

Pós-Doutorado. , University of Leicester, LEICESTER, Inglaterra. , Grande área: Ciências Exatas e da Terra

2018 - 2019

Pós-Doutorado. , University of Reykjavík, RU, Islândia. , Grande área: Ciências Exatas e da Terra

Formação complementar

2018 - 2018

CONGEST Algorithms and Lower Bounds. (Carga horária: 6h). , Instituto de Sistemas Complejos de Valparaíso, ISCV, Chile.

2018 - 2018

Certifying Algorithms and Slime Mold Computations. (Carga horária: 6h). , Instituto de Sistemas Complejos de Valparaíso, ISCV, Chile.

2018 - 2018

Edge colouring multigraphs. (Carga horária: 6h). , Instituto de Sistemas Complejos de Valparaíso, ISCV, Chile.

2016 - 2016

Approximation Algorithms for Packing Circles. (Carga horária: 2h). , Universidade de São Paulo, USP, Brasil.

2016 - 2016

Recent progress in approximation algorithms for the traveling salesman prob. (Carga horária: 4h). , Universidade de São Paulo, USP, Brasil.

2016 - 2016

Sample complexity and uniform convergence. (Carga horária: 4h). , Universidade de São Paulo, USP, Brasil.

2016 - 2016

Combinatorial stochastic search and selection. (Carga horária: 4h). , Universidade de São Paulo, USP, Brasil.

2016 - 2016

Semidefinite Programming Techniques in Combinatorial Optimization. (Carga horária: 4h). , Universidade de São Paulo, USP, Brasil.

2016 - 2016

Coloring sparse graphs with few colors. (Carga horária: 4h). , Universidade de São Paulo, USP, Brasil.

2016 - 2016

Ritmos Brasileiros. (Carga horária: 60h). , Escola de Música do Estado de São Paulo, EMESP, Brasil.

2016 - 2016

Orquestra de Cordas. (Carga horária: 60h). , Escola de Música do Estado de São Paulo, EMESP, Brasil.

2015 - 2015

Workshop de Contrabaixo Acústico. (Carga horária: 4h). , Universidade Estadual de Campinas, UNICAMP, Brasil.

2012 - 2012

Oficina de Improvisação Vocal. (Carga horária: 3h). , Universidade Estadual de Campinas, UNICAMP, Brasil.

2007 - 2007

Grids Computacionais. (Carga horária: 6h). , Universidade Estadual do Sudoeste da Bahia, UESB, Brasil.

2007 - 2007

Oficina de Inclusão Digital. (Carga horária: 8h). , Universidade Estadual do Sudoeste da Bahia, UESB, Brasil.

2007 - 2007

Desenvolvimento de Sistemas Linux/Unix. (Carga horária: 10h). , Universidade Estadual do Sudoeste da Bahia, UESB, Brasil.

2005 - 2005

Extensão universitária em Oficina de Piano. (Carga horária: 30h). , Universidade Federal da Bahia, UFBA, Brasil.

Idiomas

Inglês

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

Espanhol

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

Português

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

Italiano

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

Francês

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

Alemão

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

Islandês

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

Á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: 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: Algoritmos Distribuídos.

Participação em eventos

14th Latin American Theoretical Informatics Symposium.Query Minimization under Stochastic Uncertainty. 2021. (Simpósio).

38th International Symposium on Theoretical Aspects of Computer Science.Round-Competitive Algorithms for Uncertainty Problems with Parallel Queries. 2021. (Simpósio).

44th International Symposium on Mathematical Foundations of Computer Science.Query-Competitive Sorting with Uncertainty. 2019. (Simpósio).

8th Winter School on Network Optimization. 2019. (Encontro).

XIII Escuela de Verano en Matemáticas Discretas. 2018. (Encontro).

18th Italian Conference on Theoretical Computer Science. Connected facility leasing problems. 2017. (Congresso).

II Encontro de Teoria da Computação.Facility Leasing with Penalties. 2017. (Encontro).

IX Latin and American Algorithms, Graphs and Optimization Symposium.On Generalizations of the Parking Permit Problem and Network Leasing Problems. 2017. (Simpósio).

WoPOCA 2017: 1° Workshop Paulista em Otimização, Combinatória e Algoritmos. 2017. (Encontro).

XII WTD - Workshop de Teses, Dissertações e Trabalhos de Iniciação Científica (IC-Unicamp).On Generalizations of the Parking Permit Problem and Network Leasing Problems. 2017. (Simpósio).

XXV Congresso de Iniciação Científica da UNICAMP. Avaliador dos trabalhos de iniciação científica. 2017. (Congresso).

XXXVII Congresso da Sociedade Brasileira de Computação. 2017. (Congresso).

I Encontro de Teoria da Computação.On a Leasing Variant of the Online Connected Facility Location Problem. 2016. (Encontro).

São Paulo School of Advanced Science on Algorithms, Combinatorics and Optimization.Online Network Leasing Problems. 2016. (Encontro).

XI WTD - Workshop de Teses, Dissertações e Trabalhos de Iniciação Científica (IC-Unicamp).Teoria da Computação. 2016. (Simpósio).

XXXVI Congresso da Sociedade Brasileira de Computação. 2016. (Congresso).

15º Simpósio Brasileiro de Computação Musical. 2015. (Simpósio).

18th Biennial Conference of the International Association for the Study of Popular Music. Concerto de Abertura - Big Band do IA. 2015. (Congresso).

X WTD - Workshop de Teses, Dissertações e Trabalhos de Iniciação Científica (IC-Unicamp).Projeto de Redes com Arrendamento. 2015. (Simpósio).

12º Fórum Internacional de Software Livre. 2011. (Encontro).

VIII Seminário de Pedagogia Universitária. 2009. (Seminário).

XXVII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos.Protocolo Assíncrono para Detecção de Falhas Bizantinas em Sistemas Distribuídos Dinâmicos. 2009. (Simpósio).

7ª Escola Regional de Computação Bahia - Alagoas - Sergipe. 2007. (Encontro).

VIII Seminário de Pesquisa e Pós-Graduação (Universidade Federal da Bahia).PROCESSAMENTO DE IMAGENS BIOMÉTRICAS. 2007. (Seminário).

Participação em bancas

Aluno: Edeilson David Oliveira Souza

FRANCA, A. P.DE LIMA, M. S.PAULA, R. J.. Gestão de Serviços Digitais para Restaurantes via Web e Dispositivos Móveis. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Anhanguera Educacional - Valinhos.

Aluno: Alex Toniati, Juliano César Gianotto, Vitor Alves Ferreira

FRANCA, A. P.DE LIMA, M. S.PAULA, R. J.. Clinic Schedule: Agendamento de Consultas Médicas para Dispositivos Móveis. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Anhanguera Educacional - Valinhos.

Aluno: José Nilton Bastos, Adilson do Nascimento

FRANCA, A. P.DE LIMA, M. S.PAULA, R. J.. Controle de Acesso Versátil Baseado em RFID e Arduino. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Anhanguera Educacional - Valinhos.

Aluno: Heitor Hack Canabal

FRANCA, A. P.DE LIMA, M. S.BERIAM, M. S.. Desenvolvimento de Aplicações Android Baseadas em Geolocalização. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Anhanguera Educacional - Valinhos.

Aluno: Fabrizzio Abadia, Wagner Heinrich

FRANCA, A. P.DE LIMA, M. S.BERIAM, M. S.. Controle de CO2 via Sistema Microprocessado. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Anhanguera Educacional - Valinhos.

Aluno: DOUGLAS A

FRANCA, A. P.DE LIMA, M. S.BERIAM, M. S.. Bull, Herbert Ricardo Mota, Paulo Ricardo Furquim.Cadeira de Rodas Controlada via Dispositivo Móvel Android. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Anhanguera Educacional - Valinhos.

Aluno: Felipe Pujós, Hudson Guedes Ramos

BERIAM, M. S.DE LIMA, M. S.LIMA, C. F.. Enterprise Application Integration: Soluções de Integrações de Sistemas Corporativos. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Anhanguera Educacional - Valinhos.

Aluno: André Dias, Brunno Fernandes, Fábio Cardoso

BERIAM, M. S.DE LIMA, M. S.LIMA, C. F.. Academysist: Sistema para Academias. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Anhanguera Educacional - Valinhos.

Aluno: Cassio Alcantara, Dario Gomes, Pascoal Soares

BERIAM, M. S.DE LIMA, M. S.LIMA, C. F.. Sistema Hospitalar com RFID: Sistema Integrado para Hospitais ou Clínicas Utilizando RFID para Identificação. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Anhanguera Educacional - Valinhos.

Produções bibliográficas

ERLEBACH, THOMAS ; HOFFMANN, MICHAEL ; DE LIMA, MURILO SANTOS . Round-Competitive Algorithms for Uncertainty Problems with Parallel Queries. ALGORITHMICA , v. 85, p. 406-443, 2023.
Chaplick, Steven ; HALLDORSSON, M. M. ; DE LIMA, M.S. ; Tonoyan, Tigran . Query minimization under stochastic uncertainty. THEORETICAL COMPUTER SCIENCE , v. 895, p. 75-95, 2021.
Halldórsson, Magnús M. ; DE LIMA, MURILO SANTOS . Query-competitive sorting with uncertainty. THEORETICAL COMPUTER SCIENCE , v. 867, p. 50-67, 2021.
DE LIMA, M.S. ; SAN FELICE, M. C. ; LEE, O. . Group parking permit problems. DISCRETE APPLIED MATHEMATICS , v. 281, p. 172-194, 2020.
DE LIMA, M.S. ; SAN FELICE, M.C. ; LEE, O. . On Generalizations of the Parking Permit Problem and Network Leasing Problems. ELECTRONIC NOTES IN DISCRETE MATHEMATICS , v. 62, p. 225-230, 2017.
DE LIMA, M. S. ; GREVE, F. G. P. . Detectando Falhas Bizantinas em Sistemas Distribuídos Dinâmicos. REVISTA BRASILEIRA DE REDES DE COMPUTADORES E SISTEMAS DISTRIBUÍDOS , v. 2, p. 9-21, 2009.
Chaplick, Steven ; Halldórsson, Magnús M. ; de Lima, Murilo S. ; Tonoyan, Tigran . Query Minimization Under Stochastic Uncertainty. In: Yoshiharu Kohayakawa; Flávio Keidi Miyazawa. (Org.). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2020, v. 12118, p. 181-193.
ERLEBACH, THOMAS ; DE LIMA, MURILO ; MEGOW, NICOLE ; SCHLÖTER, JENS . Sorting and Hypergraph Orientation under Uncertainty with Predictions. In: ThirtySecond International Joint Conference on Artificial Intelligence {IJCAI23}, 2023, Macau. Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2023. p. 5577-5585.
ERLEBACH, T. ; DE LIMA, MURILO SANTOS ; MEGOW, N. ; SCHLOTER, J. . Learning-Augmented Query Policies for Minimum Spanning Tree with Uncertainty. In: 30th Annual European Symposium on Algorithms (ESA 2022), 2022, Potsdam. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. v. 244. p. 49:1-49:18.
ERLEBACH, T. ; HOFFMANN, M. ; DE LIMA, M. S. . Round-Competitive Algorithms for Uncertainty Problems with Parallel Queries. In: 38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021), 2021, Saarbrücken. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. v. 187. p. 27:1-27:18.
BAMPIS, E. ; DURR, C. ; ERLEBACH, T. ; DE LIMA, M. S. ; MEGOW, N. ; SCHLOTER, J. . Orienting (Hyper)graphs Under Explorable Stochastic Uncertainty. In: 29th Annual European Symposium on Algorithms (ESA 2021), 2021, Lisboa. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. v. 204. p. 10:1-10:18.
HALLDORSSON, M. M. ; DE LIMA, M. S. . Query-Competitive Sorting with Uncertainty. In: 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), 2019, Aachen. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. v. 138. p. 7:1-7:15.
DE LIMA, M. S. ; SAN FELICE, M. C. ; LEE, O. . Connected Facility Leasing Problems. In: ICTCS 2017: 18th Italian Conference on Theoretical Computer Science, 2017, Nápoles, Itália. Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, 2017. v. 1949. p. 162-173.
GREVE, F. ; DE LIMA, M. S. ; ARANTES, L. ; SENS, P. . A Time-Free Byzantine Failure Detector for Dynamic Networks. In: 2012 Ninth European Dependable Computing Conference (EDCC), 2012, Sibiu. 2012 Ninth European Dependable Computing Conference, 2012. p. 191-202.
DE LIMA, MURILO SANTOS ; GREVE, FABIOLA ; ARANTES, LUCIANA ; SENS, PIERRE . The time-free approach to Byzantine failure detection in dynamic networks. In: 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSNW), 2011, Hong Kong. 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W), 2011. v. 1. p. 3-8.
DE LIMA, M. S. ; GREVE, F. G. P. . Protocolo Assíncrono para Detecção de Falhas Bizantinas em Sistemas Distribuídos Dinâmicos. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2009, Recife, PE. XXVII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos - SBRC 2009. Porto Alegre: Sociedade Brasileira de Computação, 2009. p. 887-900.
DE LIMA, M. S. ; SAN FELICE, M. C. ; LEE, O. . Facility Leasing with Penalties. In: II Encontro de Teoria da Computação - ETC 2017, 2017, São Paulo. Anais do XXXVII Congresso da Sociedade Brasileira de Computação, 2017.
DE LIMA, M. S. ; SAN FELICE, M. C. ; LEE, O. . On a Leasing Variant of the Online Connected Facility Location Problem. In: I Encontro de Teoria da Computação - ETC 2016, 2016, Porto Alegre, RS. Anais do XXXVI Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2016. p. 836-839.
DE LIMA, M. S. ; FERREIRA JUNIOR, P. E. . Classificação de Impressões Digitais via Análise de Pontos Singulares. In: Brazilian Symposium on Computer Graphics and Image Processing, 2007, Belo Horizonte, MG. Workshop of Undergraduate Work, 2007.
DE LIMA, M. S. ; FERREIRA JUNIOR, P. E. . Processamento de Imagens Biométricas. In: VIII Seminário de Pesquisa e Pós-Graduação (Universidade Federal da Bahia), 2007, Salvador. XXVI Seminário Estudantil de Pesquisa, 2007.
DE LIMA, M.S. ; SAN FELICE, M. C. ; LEE, O. . Parking Permit and Network Leasing Problems. 2018. (Apresentação de Trabalho/Seminário).
DE LIMA, M. S. ; SAN FELICE, M. C. ; LEE, O. . On Generalizations of the Parking Permit Problem and Network Leasing Problems. 2017. (Apresentação de Trabalho/Simpósio).
DE LIMA, M. S. ; SAN FELICE, M. C. ; LEE, O. . Problemas de Projeto de Redes com Leasing. 2017. (Apresentação de Trabalho/Seminário).
DE LIMA, M. S. . Projeto de Redes Online via Decomposições Hierárquicas. 2016. (Apresentação de Trabalho/Seminário).
DE LIMA, M. S. ; SAN FELICE, M. C. ; LEE, O. . Online Network Leasing Problems. 2016. (Apresentação de Trabalho/Outra).
DE LIMA, M. S. ; LEE, O. . Projeto de Redes com Arrendamento. 2015. (Apresentação de Trabalho/Simpósio).
DE LIMA, M. S. . Otimização Incremental. 2014. (Apresentação de Trabalho/Seminário).
DE LIMA, M. S. . Algoritmos Distribuídos e Deteção de Falhas Bizantinas. 2009. (Apresentação de Trabalho/Seminário).
DE LIMA, M. S. . Protocolo Assíncrono para Detecção de Falhas Bizantinas em Sistemas Distribuídos Dinâmicos. 2008. (Apresentação de Trabalho/Seminário).
DE LIMA, M. S. . Reconhecimento Automático de Impressões Digitais. 2007. (Apresentação de Trabalho/Seminário).
DE LIMA, M. S. . Sistemas Automáticos de Identificação de Impressões Digitais (AFIS). 2006. (Apresentação de Trabalho/Seminário).
DE LIMA, M. S. . Algoritmos de Classificação e Verificação de Impressões Digitais. 2006. (Apresentação de Trabalho/Seminário).
DE LIMA, M. S. . Algoritmos de Afinamento e Morfologia Matemática. 2006. (Apresentação de Trabalho/Seminário).
DE LIMA, M.S. . Graph Theory Exercises, 2019. (Tradução/Livro).

Outras produções

Uchoa, J. S. ; DE LIMA, M. S. . rplac - Ruby Point Location Algorithm Comparator. 2009.

DE LIMA, M. S. . Gaudi-AFIS. 2007.

BARREAU, G. ; SOUZA, Rodrigo R. G. ; DE LIMA, M. S. . Sync-groups. 2005.

DE LIMA, M. S. . 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024). 2023. (Revisor externo de conferência).

ERLEBACH, T. ; de Lima, Murilo S. ; MEGOW, N. ; SCHLOTER, J. . Learning-Augmented Query Policies. 2021. (Relatório de pesquisa).

DE LIMA, M. S. . 37th International Symposium on Computational Geometry (SoCG 2021). 2021. (Revisor externo de conferência).

DE LIMA, M.S. . 21st ACM International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing (Mobihoc'20). 2020. (Revisor externo de conferência).

DE LIMA, M. S. . 32nd ACM-SIAM Symposium on Discrete Algorithms (SODA'21). 2020. (Revisor externo de conferência).

DE LIMA, M.S. . 46th International Colloquium on Automata, Languages and Programming (ICALP'19). 2019. (Revisor externo de conferência).

DE LIMA, M. S. . 33rd International Symposium on Distributed Computing (DISC'19). 2019. (Revisor externo de conferência).

FERNANDES, E. ; DE LIMA, M.S. . novas ofertas de emprego para ederval fernandes. 2018. (Revisão de livro publicado).

DE LIMA, M. S. ; SAN FELICE, M. C. ; LEE, O. . Facility Leasing with Penalties. 2016. (Relatório de pesquisa).

DE LIMA, M. S. ; GREVE, F. G. P. ; ARANTES, L. ; SENS, P. . Byzantine Failure Detection for Dynamic Distributed Systems. 2010. (Relatório de pesquisa).

DE LIMA, M. S. ; GREVE, F. G. P. . Byzantine Failure Detection for Dynamic Distributed Systems. 2009. (Relatório de pesquisa).

DE LIMA, M. S. ; GREVE, F. G. P. . Protocolo Assíncrono para Detecção de Falhas Bizantinas em Sistemas Distribuídos Dinâmicos. 2008. (Relatório de pesquisa).

DE LIMA, M. S. . o homem binário. 2016. Composição (estréia).

DE LIMA, M. S. ; CARVALHO, J. A. L. L. . Primal-Dual: recital de formatura em Contrabaixo Popular. 2015. Interpretação.

DE LIMA, M. S. ; PINTON, N. . deadlock. 2014. Registro Fonográfico.

Prêmios

2016

Menção Honrosa - Melhores Artigos do I Encontro de Teoria da Computação, Sociedade Brasileira de Computação.

2010

Membro do time 11º colocado na Maratona de Programação 2010, Sociedade Brasileira de Computação.

2008

Primeiro lugar no POSCOMP 2008, Sociedade Brasileira de Computação.

Histórico profissional

Endereço profissional

Google Germany GmbH. , Erika-Mann-Strasse 33, Maxvorstadt, 80636 - Munich, - Alemanha, Telefone: (493) 0303986393

Experiência profissional

2021 - Atual

Google Germany GmbH

Vínculo: Celetista, Enquadramento Funcional: Engenheiro de Software, Carga horária: 40, Regime: Dedicação exclusiva.

2019 - 2021

University of Leicester

Vínculo: Celetista, Enquadramento Funcional: Assistente de pesquisa, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

11/2019 - 04/2021
Pesquisa e desenvolvimento, School of Informatics.,Linhas de pesquisa
03/2020 - 05/2020
Ensino, Advanced Computer Science, Nível: Pós-Graduação,Disciplinas ministradas, Personal and Group Skills
02/2020 - 02/2020
Ensino, Bioinformatics, Nível: Graduação,Disciplinas ministradas, Algorithms for Bioinformatics

2018 - 2019

University of Reykjavík

Vínculo: Celetista, Enquadramento Funcional: Pesquisador em pós-doutorado, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

10/2018 - 10/2019
Pesquisa e desenvolvimento, School of Computer Science.,Linhas de pesquisa
01/2019 - 05/2019
Ensino, Computer Science, Nível: Graduação,Disciplinas ministradas, Graph Theory

2017 - 2017

Universidade Estadual de Campinas

Vínculo: Estagiário, Enquadramento Funcional: Monitor, Carga horária: 8

Outras informações:
Monitor do Programa de Estágio Docente da Unicamp (PED) nível C, da disciplina de graduação MC558 - Projeto e Análise de Algoritmos II, oferecida pelo Instituto de Computação, sob orientação do professor Lehilton Pedrosa.

2016 - 2016

Universidade Estadual de Campinas

Vínculo: Estagiário, Enquadramento Funcional: Monitor, Carga horária: 12

Outras informações:
Monitor do Programa de Estágio Docente da Unicamp (PED) nível B, da disciplina de graduação MC102 - Algoritmos e Programação de Computadores, turma Z, oferecida pelo Instituto de Computação, sob coordenação do professor Eduardo C. Xavier.

2015 - 2015

Universidade Estadual de Campinas

Vínculo: Estagiário, Enquadramento Funcional: Monitor, Carga horária: 8

2014 - 2014

Universidade Estadual de Campinas

Vínculo: Estagiário, Enquadramento Funcional: Monitor, Carga horária: 8

Outras informações:
Monitor do Programa de Estágio Docente da Unicamp (PED) nível C, da disciplina de graduação MC910 - Construção de Compiladores, oferecida pelo Instituto de Computação, sob orientação do professor Guido Araújo.

2013 - 2014

Anhanguera Educacional - Valinhos

Vínculo: , Enquadramento Funcional: Professor, Carga horária: 8

Atividades

02/2014 - 06/2014
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Análise e Complexidade de Algoritmos, Classificação e Pesquisa, TCC II
08/2013 - 12/2013
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores, TCC I, Teoria da Computação

2012 - 2013

ROTAR - Crop Production System

Vínculo: Bolsista Fapesp TT 4, Enquadramento Funcional: Engenheiro de Software, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

05/2012 - 07/2013
Serviços técnicos especializados , Sede.,Serviço realizado, Projeto de banco de dados e de interface Web. Modelagem matemática utilizando AIMMS.

2011 - 2011

Nucleo de Informação e Coordenação do Ponto BR

Vínculo: Celetista formal, Enquadramento Funcional: Analista de Projetos Pleno I, Carga horária: 40

Atividades

04/2011 - 09/2011
Serviços técnicos especializados , Centro de Estudos em Tecnologia de Redes e Operações (CEPTRO.br).,Serviço realizado, Desenvolvimento de software de replicação e consolidação de dados em Java + MySQL. Desenvolvimento de software web utilizando JEE + JSF + MySQL e scripts CGI em Perl.

2011 - 2011

Centro Universitário Capital

Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 16

Atividades

02/2011 - 05/2011
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Banco de Dados, Estruturas de Dados

2010 - 2010

Universidade de São Paulo

Vínculo: Estagiário, Enquadramento Funcional: Monitor, Carga horária: 4

2009 - 2009

Universidade de São Paulo

Vínculo: Estagiário, Enquadramento Funcional: Monitor, Carga horária: 4

Atividades

08/2010 - 12/2010
Estágios , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Estágio realizado, Monitor da disciplina da pós-graduação em Ciência da Computação MAC5711 - Análise de Algoritmos, sob orientação do professor Alair Pereira do Lago.
08/2009 - 12/2009
Estágios , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Estágio realizado, Monitor da disciplina de graduação MAC414 - Linguagens Formais e Autômatos, do Bacharelado em Ciência da Computação, sob orientação do professor Arnaldo Mandel.

2009 - 2009

Instituto do Recôncavo de Tecnologia

Vínculo: Celetista formal, Enquadramento Funcional: Analista de TI I Desenvolvimento, Carga horária: 40, Regime: Dedicação exclusiva.

2008 - 2008

Instituto do Recôncavo de Tecnologia

Vínculo: Colaborador, Enquadramento Funcional: Engenheiro de Software Estagiário, Carga horária: 20

2008 - 2008

Instituto do Recôncavo de Tecnologia

Vínculo: Celetista formal, Enquadramento Funcional: Eng. de Software Trainee, Carga horária: 40

2008 - 2008

Instituto do Recôncavo de Tecnologia

Vínculo: Celetista formal, Enquadramento Funcional: Programador de Sistemas Júnior I, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

07/2008 - 02/2009
Serviços técnicos especializados , Setor de Desenvolvimento.,Serviço realizado, Apoio na pesquisa de soluções para o ambiente Java, desenvolvimento de aplicações utilizando Java (J2EE, Struts, Spring, GWT), desenvolvimento de ferramentas de tradução de código utilizando ANTLR e documentação técnica de sistemas.
02/2008 - 06/2008
Estágios , Setor de Desenvolvimento.,Estágio realizado, Apoio na pesquisa de soluções para o ambiente Java, desenvolvimento de aplicações utilizando Java (J2EE, Struts, Spring, GWT), desenvolvimento de ferramentas de tradução de código utilizando ANTLR e documentação técnica de sistemas.

2008 - 2009

Universidade Federal da Bahia

Vínculo: Livre, Enquadramento Funcional: Pesquisador voluntário, Carga horária: 8

Outras informações:
Voluntário em projeto de pesquisa no grupo Gaudi/DCC/UFBA

2006 - 2007

Universidade Federal da Bahia

Vínculo: Livre, Enquadramento Funcional: Pesquisador e Programador, Carga horária: 20

Outras informações:
Iniciação Científica financiada pela FAPESB/PIBIC/UFBA.

2005 - 2005

Universidade Federal da Bahia

Vínculo: Livre, Enquadramento Funcional: Pesquisador e Programador voluntário, Carga horária: 12

Outras informações:
Voluntário em projeto de pesquisa no gruplo Flink.

Atividades

08/2008 - 03/2009
Pesquisa e desenvolvimento, Reitoria, Instituto de Matemática - Departamento de Ciência da Computação.,Linhas de pesquisa
08/2006 - 07/2007
Pesquisa e desenvolvimento, Conselho de Ensino, Pesquisa e Extensão, Instituto de Matemática - Departamento de Ciência da Computação.,Linhas de pesquisa
07/2005 - 11/2005
Pesquisa e desenvolvimento, Reitoria, Instituto de Matemática - Departamento de Ciência da Computação.,Linhas de pesquisa

2008 - 2008

[2]TOKS TECNOLOGIA LTDA

Vínculo: Colaborador, Enquadramento Funcional: Programador Estagiário, Carga horária: 20

Atividades

01/2008 - 02/2008
Estágios , Sede [2]TOKS.,Estágio realizado, Programação de sistemas web para engenharia com PHP e MySQL. Customização de portais utilizando Plone.