Research Professor
Hello, I am Herbert Oliveira Rocha
.
Currently, I am a professor in the Departament of Computer Science at Federal University of Roraima. My research focuses on the development of automated verification and software testing techniques for software systems. In particular, I am interested in the verification and testing of the critical embedded systems.
INTERESTS IN COMPUTING: