Hao Wu
Assistant Professor at Maynooth University
Ireland
Summary
👤
Senior🎓
Top SchoolHao Wu is an Assistant Professor at Maynooth University with a decade of experience at the intersection of software engineering and formal methods. He researches language design, compilers, automated theorem proving, and constraint solving, translating theoretical techniques into practical tools and teaching. Holding a PhD in Computer Science from the National University of Ireland, Maynooth, he combines deep academic rigor with applied development across programming languages and verification. Based in Ireland, he brings a track record of mentoring students and driving research projects that bridge compiler construction and automated reasoning. Colleagues value his ability to make formal techniques accessible and useful for real-world software challenges.
10 years of coding experience
Phd, Computer Science, Phd, Computer Science at National University of Ireland, Maynooth
Github Skills (25)
ocl10
concurrent10
uml10
directions10
verification10
invariants10
modulo10
ranking10
metamodel10
satisfiability9
sat9
theorem9
sat-solver9
smt8
cyclone8
Programming languages (5)
Github contributions (5)
classicwuhao/CycloneSublimePckage
Feb 2022 - Jul 2022
Contributions:2 releases, 26 commits, 26 pushes in 4 months
classicwuhao/uran
Feb 2016 - Jun 2020
Contributions:79 commits, 84 pushes, 2 branches in 4 years 5 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.