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

September,2023	Welcome new PhD student Zhang Huan to join the group.
June,2023	Welcome new research intern Bastien Turco (Telecom Nancy) to join the group.
April,2023	Our tool QMaxUSE has been accepted by Science of Computer Programming (Software Track).
March,2023	Our paper about how to use Cyclone to verify Event-B hybrid models has been accepted by ABZ 2023
Feb,2023	Prof. Dominique Mery visited me from 21st-Feb to 24th-Feb.
Feb,2023	Ankit's paper is accepted at Doctoral Symposium - ICST 2023

Current PhD Students

• 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)

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

Research Interns

• Shi Hao To
• Craig Sean Finnerty
• Bastien Turco

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

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

Service

• FMAS@FM(PC) 2019 - 2023
• OCL (PC) 2019 - 2023
• MODELSWARD (PC) 2017 - 2020
• ESSLLI 2017 (PC)
• iFM 2018 (Publicity Chair/Local Organiser)
• OCL 2018 (PC Chair)

---

@2020-2023 Hao Wu. All rights reserved. Last update:Sept 26, 2023