欢迎来到安全与智能信息物理系统实验室!

profile pic

依托香港科技大学（广州）信息枢纽人工智能学域，实验室的愿景是在实践中发展和融合人工智能，控制，机器人学，形式化方法，数据科学以及通信科学等领域的理论，以构建既安全（safe and secure）又智能（smart）的现代信息物理系统。 实验室的研究方向包括（但不限于）：

  1. 构建即安全（secure-by-construction）的人工智能控制器沙箱机制设计

  2. 计算感知型（computation-aware）和硬件感知型 （hardware-aware）控制器的生成

  3. 深度神经网络的形式化验证

  4. 运行时保证（run-time assurance）架构下的在线安全强化学习

  5. 上述研究成果在自主无人机，无人船等智能系统中的应用

请点击此处查看2025年秋季学期课题组博士和博士后的招聘信息。

实验室负责人（Principle Investigator）

Bingzhuo Zhong


钟秉灼， 理学博士(Dr. rer. nat)

助理教授，香港科技大学（广州）信息枢纽人工智能学域

办公室: W4(C8) L3 305

邮箱: bingzhuoz(at)hkust-gz(dot)edu(dot)cn



since July 2022.