Skip to content
View hbgit's full-sized avatar
64 followers · 4 following

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report hbgit

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
hbgit/README.md

Hi there πŸ––, I'm Herbert Rocha!

I'm a developer and researcher focused on automated software verification and software testing, with particular interest in critical and embedded systems.
My work spans program analysis, formal methods, and the application of machine learning techniques to improve software reliability.

πŸ’‘ Research & Development Interests

  • Automated verification and testing
  • Program analysis and static analysis
  • Formal methods for embedded and safety-critical systems
  • Machine learning applied to software engineering

πŸ› οΈ Technologies I Enjoy Working With

Python, C/C++, LLVM, Flutter, TensorFlow, and Linux-based toolchains.

  • πŸ‘¨πŸ½β€πŸ’» Currently working on program analysis and machine learning
  • 🀝 Open to contributing to open-source projects
  • 🌐 Visit my portfolio website for more details and contact information

πŸ”— Connect with Me

Twitter LinkedIn Portfolio

πŸ”§ Technologies & Tools

Linux Python C/C++ Flutter LLVM CMake TensorFlow Bash Docker

πŸ“ˆ GitHub Stats

Popular repositories Loading

  1. Map2Check Map2Check Public

    Map2Check: Finding Software Vulnerabilities

    SWIG 30 10

  2. depthk depthk Public

    K-Induction adopting program invariants

    Python 8

  3. template-tcc-dcc-ufrr template-tcc-dcc-ufrr Public

    Latex template de TCC para o DCC/UFRR.

    TeX 4

  4. EZProofC EZProofC Public

    This tool aims to automate the method proposed aims to automate the collection and manipulation of counterexamples in order to instantiate a C program for proving the root cause of the identified er…

    Perl 2 1

  5. FORTES FORTES Public

    This tool aims to automate the FORTES method that aims to automate to extract the safety properties from C code generated by ESBMC to generate automatically testcases using the assertions, in this …

    Perl 1

  6. dotfilesvhb dotfilesvhb Public

    Vim Script 1