Research

My research aims to create automated software and tools for solving challenging problems in software engineering domain. Currently, I like developing new languages and tools for verifying/testing graph/state-based models. In general, I have strong interests in formal methods, programming languages design, program synthesis, relational database and software testing. Many our work is based on using SAT/SMT solvers , those super well-engineered solvers that make it easier to create fully automated tools for program verification, model reasoning and more .

News

Jan,2026	Our research idea paper "VeriROS: Verifiable ROS2 Navigation Execution Framework" has been accepted at FormaliSE 2026.
Jan,2026	happy new year, check out our new release of Cyclone (1.10.1462) here.

I am always looking for highly motivated students (PhD) with strong programming and mathematical skills. If you are interested in my research area, please get in touch with me.

Current Research Students

• Ankit Jha (Ph.D. Student)
• Zhang Huan (Ph.D. Student)
• Dan Farcas (Ph.D. Student)
• Sun Lihao (Ph.D. Student)
• Ding Yuelou (MS.c. Student)
• Shi Hao To (MS.c. Student)

Past Students

• YiShun Xiang (Intern-2024) -> Cambridge
• Craig Sean Finnerty (Intern-2023) -> MSc Engineering
• Bastien Turco (Intern-2023) -> Software developer (Nancy, France)
• Viviana Bastidas (PhD-2020, co-supervised with Prof. Markus Helfert) -> Cambridge
• Jose Surabhil (MSc-2019) -> Optum
• Ian Dempsey (MSc-2018) -> Workday

Affiliation

I am a member of Principles of Programming (POP) research group within the department and Enterprise Architecture Cluster lead at Innovation Value Institute (IVI). I am also affiliated with Hamilton Institute.

Teaching

• CS264 (2023-2025)
• CS424 (2023-2025)
• CS357 (2017-2025)
• CS355 (2020-2023, 2025)
• CS620C (2019-2022)
• CS310 (2015-2019)
• CS434 (2021,2022)
• CS431 (2018,2019)
• CS335 (2017-2019, Zhejiang University)

Service (internal)

• CS Department International Coordinator
• Member of Faculty of Science Research Committee
• Member of CS Department Research Committee

Service (external)

• Reviewer for Formal Aspects of Computing (2025)
• Reviewer for Software and System Modeling (2024)
• Reviewer for Science of Computing (2024)
• Reviewer for Computer Communications (2024)
• Reviewer for IEEE Transactions on Electronics (2024)
• FMAS@FM(PC) 2019 - 2025
• OCL (PC) 2019 - 2025
• MODELSWARD (PC) 2017 - 2020
• ESSLLI 2017 (PC)
• iFM 2018 (Publicity Chair/Local Organiser)
• OCL 2018 (PC Chair)

---

@2020-2026 Hao Wu. All rights reserved. Last update: January, 2026