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

October,2024	One paper about Challenges in Autonomous Robotic System Verification is accepted by iFM PhD Symposium.
September,2024	Our paper about Job Scheduling in Hybrid Clouds is accepted by Journal of Concurrency and Computation: Practice and Experience.
August,2024	Our paper about verifying OCL string data types is accepted by MoDeVVa 2024.
July,2024	Our paper about ArchiMate-value is accepted by CBI 2024.
July,2024	Our paper about Cyclone (Tool) is accepted by TAP 2024.
June,2024	Prof.Dominique Mery vistied me at MIEC-FZU.
April,2024	I visited Prof.Dominique Mery at LORIA/INIRA/Telecom Nancy.
March,2024	I have been awarded France Excellence-NUI Research Residency grant.
Feb,2024	One PhD position about cyber security, click here for information about how to apply and the project description (See project titled SAFE: A Formal Verification Framework for Detecting Cyber Security Issues in Safety Critical Software).
Jan,2024	happy new year, check out our new release of Cyclone (1.08.848) 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 PhD Students

• Dan Farcas (2023 - 2027)
• Zhang Huan (2023 - 2027)
• Ankit Jha (2022 - 2026), main supervisor (co-supervisor: Prof. Rosemary Monahan)
• Karthickeshwar Shankaravelu (2022 - 2026), co-supervisor (main supervisor: Prof. Markus Helfert)

Current MSc Students

• Ding Yuelou (2024 - 2026)

Research Interns

• YiShun Xiang (2024)
• Shi Hao To (2023)
• Craig Sean Finnerty (2023)
• Bastien Turco (2023)

Past Students

• Viviana Bastidas (PhD-2020, co-supervised with Prof. Markus Helfert) -> Cambridge
• Jose Surabhil (MSc-2019) -> Optum
• Ian Dempsey (MSc-2018) -> Workday
• Luo Hui (BSc-2019) -> Amazon
• Zach Andrew (BSc-2018) -> Ericsson

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 (2024)
• CS424 (2024)
• CS357 (2017-2024)
• CS355 (2020-2023)
• 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 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 - 2024
• OCL (PC) 2019 - 2023
• MODELSWARD (PC) 2017 - 2020
• ESSLLI 2017 (PC)
• iFM 2018 (Publicity Chair/Local Organiser)
• OCL 2018 (PC Chair)

---

@2020-2024 Hao Wu. All rights reserved. Last update: December, 2024