Graduou-se pela Universidade Federal da Bahia (UFBA) e realizou seu mestrado em Ciência da Computação na UNICAMP. Concluiu o seu doutorado em Informática pela Université Rennes I e Laboratórios IRISA-INRIA, França. Em 2010, realizou pós-doutorado no LIP6, Université Pierre et Marie Curie (Paris-Sorbonnes Universités), França. Atua principalmente nas áreas de algoritmos e sistemas distribuídos, tolerância a falhas e desenvolvimento de sistemas confiáveis