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.


Software Quality, Verification and Validation of Software, Testing Software, Model Checking, Embedded Systems, Operating Systems, Open-Source, Programming Languages, Regular Expressions, Web Systems and Design and Art.