Corpo Docente

Deutschland online bookmaker http://artbetting.de/bet365/ 100% Bonus.

Download Template Joomla 3.0 free theme.

Ruiter B. Caldas

Ruiter Braga 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. 

You are here: Home Institucional Sobre o Icomp Corpo Docente Ruiter B. Caldas