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

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

Contact 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 Stats:


Popular repositories Loading

  1. Map2CheckMap2CheckPublic

    Map2Check: Finding Software Vulnerabilities

    SWIG 28 9

  2. depthkdepthkPublic

    K-Induction adopting program invariants

    Python 8

  3. EZProofCEZProofCPublic

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

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

    Vim Script 1

  6. jfortesjfortesPublic

    JFORTES (Java FORmal unit TESt generation)

    Java