About Me

Welcome!
I’m Huan Zhang (张欢), currently a Ph.D. candidate in Computer Science at the Department of Computer Science, Maynooth University, advised by Prof. Hao Wu.

My research focuses on formal verification of autonomous robotic systems, with interests spanning from model checking and finite state machines to real-time scheduling and cyber-physical safety.

Previously, I received my M.Sc. in Computer Science (Distinction) from Newcastle University and B.Sc. in Robotics Engineering from the Beijing Institute of Technology, Zhuhai.
For detailed academic history and experience, see my CV page.


🧠 Research Interests

  • Formal verification of autonomous systems
  • Finite state machine modeling & scheduling
  • Real-time safety and temporal logic
  • Robotics & intelligent systems

🛠 Technical Skills

  • Languages: Python, C/C++, MATLAB, Bash
  • Frameworks: ROS, Cyclone, OpenCV, LaTeX
  • Methods: Model checking, LTL/CTL, image recognition
  • Tools: Git, Linux, Jekyll, GitHub Pages

📫 I’m always open to academic collaboration or interesting robotics-related projects.
Feel free to reach out via email or check my GitHub.