Raimundo da Silva Barreto

Formação: Doutorado em Ciências da Computação
Local: Universidade Federal de Pernambuco
Ano: 2005
Lattes: http://lattes.cnpq.br/1132672107627968
E-mail: rbarreto@icomp.ufam.edu.br

É Bacharel em Processamento de Dados pela Universidade Federal do Amazonas (1991), Mestre em Ciência da Computação pela Universidade Federal de Minas Gerais (1997) e Doutor em Ciência da Computação pela Universidade Federal de Pernambuco (2005). Fez estágio pós-doutoral na University of Southampton (UK) em 2011. Atualmente é professor associado da Universidade Federal do Amazonas. Tem experiência na área de Software Básico, atuando principalmente nos seguintes temas: sistemas de tempo real, sistemas embarcados, síntese de software e tolerância a falhas.