近日,我院-悉尼科技大学量子计算与人工智能联合研究中心举办了多次学术报告。5月24日,中心的主任应明生教授在FIT 1-515会议室做了题为《量子程序的Floyd-Hoare逻辑》(Floyd-Hoare Logic for Quantum Programs)的报告,介绍了联合研究中心应明生教授课题组在量子编程理论方面的最新研究进展。5月28日,冯元教授应邀参加了智能技术与系统重点实验室学术沙龙活动,也就相关内容作了学术讲座。
122cc太阳集成游戏-悉尼科技大学量子计算与人工智能联合研究中心于2013年1月正式成立。联合研究中心管委会主任由122cc太阳集成游戏副校长陈旭教授及悉尼科技大学副校长(科研)Attila Brungs教授共同担任,我院智能技术与系统重点实验室的应明生教授和朱小燕教授分别担任中心的主任和常务副主任。该中心的中方骨干研究人员来自智能技术与系统重点实验室。双方将在未来5年内,围绕量子计算、量子程序设计的理论、人工智能等方向进行合作研究,开展师资、研究生等方面的交流与合作,取得具有国际影响的研究成果。