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:

• 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