attila

近日，清华大学－悉尼科技大学量子计算与人工智能联合研究中心举办了多次学术报告。2013年5月24日，中心的主任应明生教授在FIT 1-515会议室做了题为“Floyd-Hoare Logic for Quantum Programs”的报告，介绍了联合研究中心应明生教授课题组在量子编程理论方面的最新研究进展。5月28日，冯元教授应邀参加了智能技术与系统重点实验室学术沙龙活动，也就相关内容作了学术讲座