Thái Hoàng
Associate Professor
Southampton, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolThái Hoàng is an Associate Professor based in Southampton with two decades of experience specializing in formal system development, tool creation, and industrial applications. He combines deep academic rigor—earned through a PhD in Computer Software Engineering and an honours BE from UNSW—with practical research stints at ETH Zurich, Hitachi's Yokohama lab, and long-term roles within the University of Southampton. His work bridges theoretical foundations and hands-on tooling, enabling verified or formally grounded solutions to real-world engineering problems. Colleagues know him for translating formal methods into usable software artifacts that industry partners can adopt, reflecting a rare mix of scholarly impact and applied delivery.
20 years of coding experience
7 years of employment as a software developer
UNSW Sydney
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (40)
ide10
verification10
emf10
event-b10
dispatcher9
java9
formal-methods9
containment9
eclipse9
mechanism9
adaptation8
coda8
origami7
javascript7
eventbus7
Programming languages (5)
Github contributions (5)
eventB-Soton/eventB-Soton.github.io
Mar 2017 - Nov 2023
Event-B Soton Organisation page
Contributions:1 review, 5 PRs, 126 pushes in 6 years 9 months
event-buml-b
eventB-Soton/Rodin-Bundles
Sep 2020 - Jun 2022
Rodin Platform Bundles that include features developed by our group
Contributions:6 releases, 136 commits, 11 PRs in 1 year 9 months
javabundlesevent-beclipserodin
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.