Ruiter Braga Caldas

Formação: Doutorado em Ciências da Computação
Local: Universidade Federal de Minas Gerais
Ano: 2009
Lattes: http://lattes.cnpq.br/9686087091192989
E-mail: ruiter@icomp.ufam.edu.br


Graduado em Processamento de Dados pela Universidade Federal do Amazonas (1991). Especialização em Ciência da Computação pela Universidade Federal do Amazonas/IBM Brasil (1992). Mestre em Ciência da Computação pela Universidade Federal de Minas Gerais (1996). Doutor em Ciência da Computação pela Universidade Federal de Minas Gerais (2009). Professor Associado da Universidade Federal do Amazonas. Ocupa o cargo de Diretor do Instituto de Computação da Universidade Federal do Amazonas -IComp/UFAM. Possui experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas, atuando principalmente nos seguintes temas: Aprendizagem de Máquina, Sistemas Formais, Sistemas Operacionais, Sistemas Reativos, Sistemas Embarcados, Sistemas de Tempo Real e Low Power, Sistemas Cyber-Físicos, Geração Automática de Código e Verificação de Sistemas.