Hi, I’m Huan Zhang, a second-year Ph.D. candidate in Computer Science at Maynooth University, working on Formal Verification for Autonomous Robotic Systems. My research focuses on Model Checking, Theorem Proving, and Hardware Verification with tools like NuSMV and Synopsys Formality.
I’m currently integrating Cyclone4A with ROS to verify robot behaviours and preparing to present my work at CLOCK 2025.
🔥 News
- 2025.05: 📝 Submitted our iFM paper on elevator scheduling system verification.
- 2024.03: 🎉 Presented at CEUR Workshop on Autonomous Robotics Verification.
- 2023.12: 🚀 Integrated model-checking framework with ROS in Cyclone4A.
📝 Publications
A Case Study on Verifying Elevator Scheduling Control System
Huan Zhang, Hao Wu
Submitted to iFM 2025 (Under Review)
-
Challenges in Autonomous Robotic System Verification, Huan Zhang, Hao Wu, CEUR Workshop Proceedings Vol. 3860
View Paper -
Low-Sample Image Classification using ACGAN and Intrinsic Feature Relation, Huang, Z., Lee, Z.W., Huan Zhang, Applied Science
View Paper -
Improving Semi-Supervised Image Classification by Assigning Different Weights, Huan Zhang et al., Applied Sciences Vol. 12(3)
View Paper
🎖 Honours and Awards
- 2024.05 🔬 Research Excellence Poster Award @ Maynooth CLOCK Symposium
- 2023.08 🏅 MSc with Distinction – Newcastle University
- 2021.07 🎓 First-Class Honors in Robotics Engineering – BIT Zhuhai
📖 Educations
- Ph.D. in Computer Science, Maynooth University, Ireland (2023–Present)
Formal Verification of Autonomous Robotic Systems - MSc in Computer Science, Newcastle University, UK (2022–2023) – Distinction
- BSc in Robotics Engineering, Beijing Institute of Technology, Zhuhai (2017–2021) – First Class Honours
💬 Invited Talks
- 2024.03, “Model Checking in Industrial Robotics”, CEUR Workshop
- 2023.12, “Verifying Autonomous Systems in ROS”, Graduate Colloquium
💻 Internships
- 2021.07 – 2022.01, Verification Assistant @ Huawei, Shenzhen
- 2020.07 – 2020.12, Embedded Systems Intern @ Siemens PLC, Zhuhai