Skip to content
View hbgit's full-sized avatar
61 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

Report abuse

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

Report abuse
hbgit/README.md

Hi there 🖖, I am Herbert!

I am a developer/researcher who 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 critical embedded systems. Few techs that I enjoy working in, are Python, C/C++, LLVM, Flutter, and TensorFlow.

  • 👨🏽‍💻 Currently working in program analysis and machine learnnig.
  • 😊 Willing to contribute in opensource projects.
  • 🌐 Visit my porfolio website for complete background and contact.

To connect with me,

🔧 Technologies & Tools

📈My 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. 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

  4. 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

  5. dotfilesvhb dotfilesvhb Public

    Vim Script 1

  6. template-tcc-dcc-ufrr template-tcc-dcc-ufrr Public

    Latex template de TCC para o DCC/UFRR.

    TeX 1