欢迎来到安全与智能信息物理系统实验室!
依托香港科技大学（广州）信息枢纽人工智能学域和系统枢纽智能交通学域，实验室的愿景是在实践中发展和融合人工智能，控制，机器人学，形式化方法，数据科学以及通信科学等领域的理论，以构建既安全（safe and secure）又智能（smart）的现代信息物理系统。 实验室的研究方向包括（但不限于）：
构建即安全（secure-by-construction）的人工智能控制器沙箱机制设计
计算感知型（computation-aware）和硬件感知型 （hardware-aware）控制器的生成
深度神经网络的形式化验证
运行时保证（run-time assurance）架构下的在线安全强化学习
上述研究成果在自主无人机，无人船等智能系统中的应用
请点击此处查看课题组博士和博士后的招聘信息。
实验室负责人（Principle Investigator）
钟秉灼， 理学博士(Dr. rer. nat)
助理教授，香港科技大学（广州）信息枢纽人工智能学域
办公室: W4(C8) L3 305
邮箱: bingzhuoz(at)hkust-gz(dot)edu(dot)cn
since July 2022.