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.
Add an optional note
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseI'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.
- Automated verification and testing
- Program analysis and static analysis
- Formal methods for embedded and safety-critical systems
- Machine learning applied to software engineering
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
Popular repositories Loading
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.