profile-pic


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

Socials

Experience

  • 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

  • Work Experience

    University Tutor

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

    Main Duties:
    • Provided guidance for the students.
    • Provided exam papers and weekly tutorial worksheets.
    • Attendance recoding and giving exam advice with study tips.


    Bebras Challenge and PACT Demonstrator (Occasional)

    Aug 2024 - Apr 2025
    • Provided support for primary and seconadry school students on board games and activity posters.
    • Campus guide for student's parents for the Bebras computing events.
    • Provided workbooks with the PACT Team (Programming + Algorithms ≈ Computational Thinking).


    Lab Head Demonstrator and Basic Demonstrator

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

    Main duties:
    • Took attendance, provide support for undergraduate students, and wrote daily report to the module lecturer as a head demonstrator.
    • Gave write-up tips and exam study advice for the students.
    • Helped working on code errors, tool installation, and grading continuous assessment.


    S.P.U.R. Research student

    June - July 2023
    • Worked on the FRET tool and its extension MU-FRET.
    • Participated the VALU3S Summer School 2023 in Genoa, Italy.
    • Presented Research Poster for the VALU3S Summer School.
    • Found a similarity requirement tool like FRET named EARS (Easy Approach to Requirements Syntax).

    Research Poster


    Research Assistant (Internship), Maynooth University

    Jan - July 2023
    • Evaluate existing verification tools used in software development.
    • Evaluate existing techniques for the formal software development and verification of AI-based systems.
    • Select suitable case studies from the literature which demonstrate specification and verification of AI-based systems.
    • Actively assisting and contributing to the writing of reports.
    • Attended CS603 lectures supporting Masters students with practical work in software verification lab work
    • Worked on the first edition of Cyclone Website's front end design

  • Key Skills

    • Python, PyTorch, TensorFlow, Jupyter, Scikit-Learn, Pandas, Anaconda
    • Machine Learning, Artificial Intelligence, Software Verification, Formal Methods, Requirement Engineering, Tools/Software installation skills, Web Design and Development
    • Interpersonal, Analytical, Teamwork, Problem solving, Oral and Written communication skills

  • Achievements

    MU Student Experience (MUSE) Gold Award For S.P.U.R.

    2024 May