Ruiter B. Caldas
- + Linha de Pesquisa: Sistemas Embarcados
- + Formação: Doutorado
- + Local: Universidade Federal de Minas Gerais
Graduado em Processamento de Dados pela Universidade Federal do Amazonas (1991), 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). Atualmente é professor Adjunto da Universidade Federal do Amazonas. Diretor do Instituto de Computação-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: 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.
