Assistant Professor
Computer Science Department,
Eolas Building, Maynooth University.
haowu@cs.nuim.ie
Room 135
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 .
June,2025 | I gave a talk on how to verify C, C++ and C# programs to C++ user group in Dublin. |
May,2025 | One paper about how to verify OCL pre/post condition using Cyclone is accepted at OCL 2025 |
May,2025 | One paper about measuring complexity of OCL expressions is accepted at OCL 2025 |
March/April,2025 | Prof. Dominique visited research group. |
Jan,2025 | New Cyclone online editor is 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.
@2020-2025 Hao Wu. All rights reserved. Last update: May, 2025