José Augusto Bolina Lucas
Bacharelado e mestrado em Ciência da Computação pela Universidade Federal de Uberlândia. Atua como engenheiro de software na Red Hat. Tem interesse em problemas de acordo, métodos formais, replicação e tolerância a faltas.
Informações coletadas do Lattes em 29/03/2024
Acadêmico
Formação acadêmica
Mestrado em Ciência da Computação
2019 - 2022
Universidade Federal de Uberlândia
Título: Algoritmo Multicast Generalizado: Formalização e Validação, Ano de Obtenção: 2022
Lásaro Jonas Camargos.Coorientador: Rafael Pasquini. Palavras-chave: distributed systems; group communication.Grande área: Ciências Exatas e da Terra
Graduação em Ciência da Computação
2015 - 2019
Universidade Federal de Uberlândia
Título: Revisitando P4 Paxos
Orientador: Lásaro Jonas Camargos
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.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
Histórico profissional
Experiência profissional
2016 - 2016
Universidade Federal de UberlândiaVínculo: Bolsista, Enquadramento Funcional: Monitor, Carga horária: 12
Outras informações:
Monitor da disciplina Programação Lógica
2022 - Atual
Red HatVínculo: Celetista, Enquadramento Funcional: Software Engineer, Regime: Dedicação exclusiva.
Outras informações:
Working on Infinispan, an open-source, distributed in-memory key-value data store.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de José Augusto Bolina Lucas 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?