I am Yuelou Ding (丁月楼), a Master of Science by Research student within the Department of Computer Science at Maynooth University. I am under the supervision of Dr. Hao Wu.

My research endeavors center on the verification of safety - critical software through formal methods. Currently, I am primarily engaged in formal verification using Cyclone, a powerful but user-friendly formal tool. My academic interests span formal methods and mathematical computation. I am always seeking opportunities to undertake a PhD program in Computer Science to further explore these areas.

I actively welcome academic communications and collaborations on relevant projects. Please do not hesitate to contact me via email at yuelou.ding.2025@mumail.ie.

📖 Educations

• 2024.09 - present, Master of Science by research, Computer Science, Maynooth University, Ireland, funded by China Scholarship Council.
• 2020.09 - 2024.06, Undergraduate, Internet of Things Engineering, Univeristy of Electronic Science and Technology of China(UESTC), Chengdu, China.

🏅 Honors and Awards

• 2023.04 The third prize in “Datang Cup” National College Students New Generation Information and Communication Technology Competition in Sichuan.
• 2022.10 The first prize in China Undergraduate Mathematical Contest in Modeling in Sichuan.
• 2022.06 The third prize in Mathematical Contest in Modeling in UESTC.
• 2021-2023 The Pacemaker Scholarship in UESTC awarded annually.