profile-pic


MSc student by Research in Computer Science at Maynooth University, focusing on Formal Methods, Machine Learning, Formal Specifications, and Artificial Intelligence.

Socials

Hello There👋! I'm Shi Hao (Will) and I am a MSc student by Research for Computer Science at Maynooth University, Ireland. My research focuses on Formal Methods and Specification for Safety Critical Software Systems, aiming to develop and create to improve Artificial Intelligence and Machine Learning based systems for a safe yet dependable safety criticial system with software verification techniques.

I am under the supervision of Prof. Rosemary Monahan and Dr. Hao Wu, whose deep expertise in the field of formal methods and software verification.

I always welcome connections and collaboration on relevant research projects and events. Feel free to reach out, and please do not hesitate to contact me by email or other social platforms!

Latest

  • Poster Presentation for Research Week 2025

    23rd October 2025

Education

  • MSc. Computer Science by Research, Maynooth University, Ireland

    2025 - Present

  • BSc. Computer Science and Software Engineering, Maynooth University, Ireland

    Graduated in 2025
    2.1 Class Honours

Experience

  • University Tutor

    Mar - May 2025
    Module:
    • Computer Systems (CS172)

  • Bebras Challenge and PACT Demonstrator (Occasional)

    Aug 2024 - Apr 2025

  • Lab Head Demonstrator and Basic Demonstrator

    Sep 2023 - Dec 2024
    Modules:
    • Software Verification (CS357)
    • Team Project (CS353)
    • Work Placement (CS363)

  • S.P.U.R. Research student

    June - July 2023

  • Research Assistant (Internship), Maynooth University

    Jan - July 2023
    Supervisor: Prof. Rosemary Monahan and Dr. Hao Wu

Publications

Get In Touch