Hoang-hai Dang
Formal Method Engineer at BlueRock.io
Saarbrücken, Saarland, Germany
Summary
👤
Senior🎓
Top SchoolHoang-hai Dang is a Formal Method Engineer with 12 years of experience focusing on formal verification for relaxed memory concurrency and hypervisors, currently based in Saarbrücken and working at BlueRock.io. He holds a Doctor of Engineering in Computer Science from Universität des Saarlandes and has blended academic research (MPI-SWS PhD) with industry practice at BedRock Systems and a V8 internship at Google. Hoang-hai thrives on automation—seeking out what can be automated in both software production and everyday life—and applies that mindset to make verification more scalable and practical. His work bridges deep theoretical foundations and hands-on verification of virtualization stacks, an uncommon combination that helps surface subtle concurrency bugs. He also values human-centered technology and is motivated to build tools that enhance social and cognitive skills rather than replace them. Colleagues describe him as curious, communication-minded, and persistent in turning formal insights into usable engineering outcomes.
12 years of coding experience
2 years of employment as a software developer
Doctor of Engineering, Computer Science, Doctor of Engineering, Computer Science at Universität des SaarlandesMaster of Science (M.Sc.), Computer Science, Master of Science (M.Sc.), Computer Science at VNUHCM - University of Science
English, Japanese, Vietnamese, German
Github Skills (30)
compiler10
rust10
rust-lang9
standard-library9
linux9
crate9
nodejs9
rust-language9
js8
macos8
garbage-collection8
allocator8
windows8
javascript8
rocket7
Programming languages (3)
Github contributions (5)
nguyenkha/tankgame-tn14
Oct 2014 - Nov 2014
Contributions:56 commits in 1 month
gametank-gametanktheorygraph
hans89/astparser
Jan 2014 - Sep 2014
Contributions:27 commits 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.