Bernardo Hummes Flores
Doutorando no laboratório de informática de École Polytechnique, trabalhado com métodos formais para robótica móvel. Obteve diploma de engenheiro com especialização em robótica autônoma na École Supérieure Nationale de Techniques Avancées Bretagne, junto da graduação em Ciência da Computação na Universidade Federal do Rio Grande do Sul em 2022.
Informações coletadas do Lattes em 24/10/2023
Acadêmico
Formação acadêmica
Doutorado em andamento em Mathematics and Computer Science
2022 - Atual
Ecole Polytechnique
Título: Formal methods for mobile robots
Orientador: Éric Goubault
Coorientador: Sylvie Putot. Bolsista do(a): Institut Polytechnique de Paris, IPP, França. Palavras-chave: Mobile robotics; Verification; Distributed computing.
Mestrado em Robotique mobile
2020 - 2022
École Nationale Supérieure de Techniques Avancées Bretagne
Título: Formalization of mobile robot tasks, Ano de Obtenção: 2022
Orientador: Éric Goubault
Coorientador: Sylvie Putot. Palavras-chave: Mobile robotics; Verification; Distributed computing.
Graduação em Ciência da Computação
2017 - 2022
Universidade Federal do Rio Grande do Sul
Título: Formalization of mobile robot tasks
Orientador: Mariana Kolberg
com
Formação complementar
2016 - 2016
Instrodução à Ciência da Computação e Programação usando python. (Carga horária: 135h). , Massachusetts Institute of Technology, MIT, Estados Unidos.
2012 - 2012
Programa de Iniciação Científica da OBMEP. , Instituto Nacional de Matemática Pura e Aplicada, IMPA, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Participação em eventos
4° Programa Futuros Engenheiros. 2016. (Oficina).
18° Seminário de Atualidades Tecnológicas - Plásticos, Elastômeros, Adesivos. 2013. (Seminário).
Produções bibliográficas
-
RAUH, ANDREAS ; GOURRET, YOHANN ; LAGATTU, KATELL ; HUMMES, BERNARDO ; JAULIN, LUC ; REUTER, JOHANNES ; WIRTENSOHN, STEFAN ; HOHER, PATRICK . Experimental Validation of Ellipsoidal Techniques for State Estimation in Marine Applications. Algorithms , v. 15, p. 162, 2022.
-
NEULAND, RENATA ; MANTELLI, MATHIAS ; HUMMES, BERNARDO ; JAULIN, LUC ; MAFFEI, RENAN ; PRESTES, EDSON ; KOLBERG, MARIANA . Robust Hybrid Interval-Probabilistic Approach for the Kidnapped Robot Problem. INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS , v. 29, p. 313-331, 2021.
Projetos de pesquisa
-
2019 - Atual
Mapeamento e Localização Simultâneos Utilizando Análise Intervalar para Robôs Aéreos, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Bernardo Hummes Flores - Integrante / Mariana Luderitz Kolberg - Coordenador.
Prêmios
2016
Medalha de Ouro - XIX Olimpíada Brasileira de Astronomia e Astronáutica, Sociedade Astronômica Brasileira (SAB) e Agência Espacial Brasileira (AEB/MCT).
2015
Medalha de Prata - XVIII Olimpíada Brasileira de Astronomia e Astronáutica, Sociedade Astronômica Brasileira (SAB) e Agência Espacial Brasileira (AEB/MCT).
2013
Medalha de Prata - XVI Olimpíada Brasileira de Astronomia e Astronáutica, Sociedade Astronômica Brasileira (SAB) e Agência Espacial Brasileira (AEB/MCT).
2012
Medalha de Ouro - 3° Desafio de Energia Solar - Robô de Sucata Eletrônica, Prefeitura de Porto Alegre.
2012
Medalha de Ouro - 2° Desafio Energia Solar 2012 - Robô de Sucata Eletrônica, Prefeitura de Porto Alegre.
2012
Medalha de Prata - XV Olimpíada Brasileira de Astronomia e Astronáutica, Sociedade Astronômica Brasileira (SAB) e Agência Espacial Brasileira (AEB/MCT).
Histórico profissional
Experiência profissional
2019 - Atual
Universidade Federal do Rio Grande do SulVínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20
2018 - 2020
Universidade Federal do Rio Grande do SulVínculo: Bolsista, Enquadramento Funcional: Bolsista, Carga horária: 20
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Bernardo Hummes Flores e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?