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 of 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.
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.
| Oct, 2026 | Welcome new PhD students Kristina Skutilova and David Callanan to join the POP research group. |
| July, 2026 | Our research paper "A Neuro-Symbolic Pipeline for Automated Synthesis and Verification of OCL Constraints" has been accepted at OCL @MODELS 2026. |
| May, 2026 | Our research paper "Automated Benchmark Generation for Object Constraint Language (OCL) with SMT-Based Verification" has been accepted at ECMFA @STAF 2026. |
| April, 2026 | Our research paper "Verifying an Elevator Scheduling Control System" has been accepted at ITEQS @ICST 2026. |
| 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. |
Supervisor:
Co-supervisor:
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.
@2020-2026 Hao Wu. All rights reserved. Last update: October, 2026