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

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

  • Pro
Block or Report

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

  1. Map2Check Map2Check Public

    Map2Check: Finding Software Vulnerabilities

    SWIG 27 9

  2. depthk depthk Public

    K-Induction adopting program invariants

    Python 8 1

  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. jfortes jfortes Public

    JFORTES (Java FORmal unit TESt generation)

    Java