Herbert Rocha
Education Coordinator
Roraima, Brazil
Summary
👤
Senior🎓
Top SchoolHerbert Rocha is an experienced computer scientist and educator with 14 years in academia and research, serving as Assistant Professor at the Federal University of Roraima and coordinating education initiatives at Maloca das iCoisas and Cloud Saúde UFRR. He holds a doctorate focused on testing and software verification for embedded systems and leads the PRISM research group, bridging rigorous research with hands-on tool development. Herbert contributes to open-source benchmarking tooling—adapting BenchExec to support the Map2Check verifier—demonstrating practical expertise in tool integration and result-determination logic. Based in Roraima, Brazil, he combines curricular leadership, graduate supervision, and applied software verification work, often making research tools interoperable across versions and environments.
14 years of coding experience
Escola Estadual Gonçalves DiasDoutorado, Testing and Software Verification; Embedded Systems, Doutorado, Testing and Software Verification; Embedded Systems at Universidade Federal do AmazonasTechnology of Analysis and Development Systems, Technology of Analysis and Development Systems at Instituto Federal de Educação, Ciência e Tecnologia de Roraima - I
English
Github Skills (11)
measurement10
benchmark10
benchmarking10
resource-management10
python10
performance-measurement10
cgroups9
command-line-interface8
cli8
command-line8
bash6
Programming languages (8)
Github contributions (5)
sosy-lab/benchexec
Oct 2015 - Nov 2018
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Role in this project:
Backend Developer
Backend DeveloperContributions:10 commits, 7 PRs, 1 comment in 3 years 1 month
Contributions summary:Herbert primarily worked on adapting the `BenchExec` tool to support the `Map2Check` verification tool. Their contributions included creating and updating a wrapper script for `Map2Check`, modifying tool configuration files, and implementing result determination logic. They also focused on making the tool compatible with different versions of `Map2Check` by adjusting file paths and command-line arguments based on the detected version.
cgroupsbenchmarkingpythonlinuxbenchmark-framework
hbgit/hbgit.github.io
Feb 2019 - Sep 2022
Contributions:43 pushes, 1 branch in 3 years 7 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.