2018年6月1日至10日美国迈阿密大学Geoff教授应徐扬教授的邀请到我校访问。先后主讲了多场学术报告会和技术研讨讨论会,指导了实验室一节逻辑证明器的开发、国际竞赛等,并就团队建设和高水平人才引进等工作提出了中肯的建议。
相关学术报告海报详见:http://kxxyz.swjtu.edu.cn/info/1016/1076.htm