Haoyang Liu
Research Assistant at The Hong Kong University of Science and Technology
Wuhan, Hubei, China
Summary
🤩
Rockstar🎓
Top SchoolHaoyang Liu is a research-focused software engineer with a Ph.D. in Computer Science and Engineering from HKUST and four years of experience specializing in security, formal methods, and LLM-assisted vulnerability analysis. Currently a Research Assistant at HKUST, he developed a systematic approach that integrates large language models with traditional data race detectors to reduce false positives in Linux kernel concurrent vulnerability detection and probed LLMs’ limits with tailored prompts. His work spans automated evaluation frameworks for LLMs in CTF/CVE scenarios (built during a UW–Madison internship) to formal-methods-based smart contract analysis using Spin and Mythril. Comfortable bridging theory and tooling, he has a knack for customizing analysis modules and building unified automated environments that reveal nonobvious failure modes in real-world code. Based in Wuhan, China, he combines deep academic training with practical engineering to push the boundary of automated security discovery.
4 years of coding experience
B.S., Cyber Science and Engineering, B.S., Cyber Science and Engineering at Huazhong University of Science and Technology
Github Skills (109)
http-client10
rest-client10
rest-api10
client-library10
middleware10
api10
service-discovery10
rest10
archlinux10
golang10
arch10
srv-record10
go10
digest-authentication10
load-balancer10
Programming languages (13)
Github contributions (5)
tttturtle-russ/LLM_CTF
Mar 2024 - Aug 2024
Contributions:301 pushes in 4 months
tttturtle-russ/hust-mirrors
Mar 2024 - Dec 2024
Contributions:35 pushes, 3 branches in 8 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.