Skip to content
View hbgit's full-sized avatar
62 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 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 identi๏ฌed 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