Ruiter Braga Caldas

Bachelors degree in Data Processing at Federal University of Amazonas (1991). Specialization in Computer Science at Federal University of Amazonas / IBM Brasil (1992). Master in Computer Science at Federal University of Minas Gerais (1996). Ph.D. in Computer Science at Federal University of Minas Gerais (2009). Associate Professor at the Federal University of Amazonas. Has was Director of the Institute of Computing of the Federal University of Amazonas - ICOMP / UFAM (2011-2017). Works on Computer Science Area, with emphasis on Machine Learning, Formal Systems, Operating Systems, Reactive Systems, Embedded Systems, Real-Time and Low Power Systems, Cyber ​​Systems, Automatic Code Generation, and Systems Verification.

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. Ocupou o cargo de Diretor do Instituto de Computação da Universidade Federal do Amazonas -IComp/UFAM(2011-2017). Atua na área de Ciência da Computação, com ênfase em 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.