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 .
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 |
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.
@2020-2023 Hao Wu. All rights reserved. Last update:Sept 26, 2023