henryhchchc

Follow

🍵

I'm a teapot

Henry Chu henryhchchc

🍵

I'm a teapot

Follow

Incoming postdoc @cispa. Tech enthusiast. PhD at HKUST

188 followers · 163 following

The Hong Kong University of Science and Technology
Hong Kong
21:15 (UTC +08:00)
https://scholar.henryhc.net
https://orcid.org/0000-0002-3082-5957
@bsky.henryhc.net

Achievements

Achievements

Highlights

Developer Program Member
Pro

Organizations

henryhchchc/README.md

👋 Hi there!

I am an incoming postdoctoral researcher at CISPA Helmhomtz Center for Information Security. I completed my PhD studies at HKUST in 2025. I work on software engineering research — I write code to analyze and test other code.

I program in Rust, Python, and Kotlin.

Pinned Loading

mokapot mokapot Public

A library for analyzing and manipulating JVM bytecode

Rust 26 5
fandango-fuzzer/fandango fandango-fuzzer/fandango Public

FANDANGO is a language-based fuzzer that leverages formal input specifications (grammars) combined with constraints to generate diverse sets of valid inputs for programs under test.

Python 100 12
lsp-fuzz lsp-fuzz Public

A grey-box hybrid fuzzer that generates test cases for language servers

Rust 13
LibAFL LibAFL Public

Forked from AFLplusplus/LibAFL

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

Rust
zed zed Public

Forked from zed-industries/zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust
homebrew-core homebrew-core Public

Forked from Homebrew/homebrew-core

🍻 Default formulae for the missing package manager for macOS

Ruby