Herbert Oliveira Rocha

Doutorado e mestrado em Informática pela Universidade Federal do Amazonas (UFAM) na área de engenharia de software com ênfase em sistemas embarcados, graduado em Tecnologia em Análise e Desenvolvimento de Sistemas (IFRR). Atualmente é professor Adjunto C do curso de Ciência da Computação e líder do grupo de pesquisa PRojeto e desenvolvImento de Sistemas eMbarcados otimizados e seguros (PRISM) na Universidade Federal de Roraima (UFRR). Tem experiência nas áreas de verificação formal de software automatizada, bounded model checking, invariantes de programas, transformações de código, testes automatizados, IoT e sistemas embarcados.

PhD and MSc in Computer Science by the Federal University of Amazonas (UFAM) in the area of software engineering with an emphasis on embedded systems, graduated in Technology in Development and Systems Analysis (IFRR). He is currently professor assistant of the Computer Science in the Federal University of Roraima - UFRR, and leader of the research group called Design and Development of Optimized and Safety Embedded Systems (PRISM) at UFRR. He has experience in the areas of formal automated software verification, bounded model checking, program invariants, code transformations, automated tests, IoT and embedded systems.