Resumo
O programa da reunião contará com um mínimo de 3 sessões técnicas, cada uma com 4 artigos, e uma palestra internacional. (AU)
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação (IC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Bacharel em Ciência da Computação (Científico-Industrial) pela Universidade Estadual de Campinas (1985), Mestre em Ciência da Computação pela Universidade Estadual de Campinas (1990) e PhD em Computer Science pela University of Newcastle Upon Tyne, UK (1994), Livre-Docente pela Universidade Estadual de Campinas (2000) e Pós-doutorado pela EPFL, Suiça (2008). Atuou como Professor Livre Docente da Universidade Estadual de Campinas (UNICAMP) até 2023, atua como docente do curso de Especialista em Engenharia de Software da mesma instituição. Faz pesquisa em Ciência da Computação com ênfase em Algoritmos Distribuídos e Tolerância a Falhas, tem experiência em sistemas distribuídos (consenso, replicação, blockchains) e engenharia de software. (Fonte: Currículo Lattes)
Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
Mais itensMenos itens |
TITULO |
Matéria(s) publicada(s) em Outras Mídias ( ): |
Mais itensMenos itens |
VEICULO: TITULO (DATA) |
VEICULO: TITULO (DATA) |
O programa da reunião contará com um mínimo de 3 sessões técnicas, cada uma com 4 artigos, e uma palestra internacional. (AU)
Difusão com ordenação total e consenso constituem o núcleo das soluções para implementação de aplicações distribuídas de alta disponibilidade a partir de componentes de prateleira baseados em replicação ativa. Em particular, em sistemas assíncronos de computação onde processos podem falhar, estes dois problemas são equivalentes: emprega-se instâncias de consenso para determinar a sequênc…
Difusão com ordenação total e consenso constituem o núcleo das soluções para implementação de aplicações distribuídas de alta disponibilidade a partir de componentes de prateleira baseados em replicação ativa. Mais especificamente, Fast Paxos é um algoritmo de consenso destinado ao modelo assíncrono de computação com falhas-e-recuperação aumentado com detectores não confiáveis de falhas. …
Uma visão progressiva de uma computação distribuída corresponde a uma seqüência de estados globais consistentes que poderiam ter ocorrido nesta ordem durante a execução da aplicação. O mestrado da aluna incluiu dois resultados nesta área: (i) o estabelecimento de uma relação entre "checkpoints" (estados selecionados de componentes de uma aplicação distribuída) e (ii) algoritmos originais …
Difusão Totalmente Ordenada e Consenso constituem o núcleo de soluções práticas para a implementação de aplicações distribuídas com alta disponibilidade baseadas em replicação ativa. Em particular, em sistemas assíncronos de computação em que processos podem falhar, estes dois problemas são equivalentes: emprega-se instâncias de consenso para determinar a sequência ordenada de mensagens q…