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.09: ๐๏ธ Poster presentation at Swiss CLOCK Summit (upcoming).
- 2025.08: โ๏ธ Attended VeTSS Summer School.
- 2025.07: ๐ Attended OPLSS (Oregon Programming Languages Summer School).
- 2023.12: ๐ Integrated model-checking framework with ROS in VeriROS.
</div></div>
-
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