2012年7月18日至8月1日，日本国立情报学研究所胡振江教授来高可信软件技术教育部重点实验室讲授了题为《Programming Algebra for formal Construction of Correct Software》的暑期课程，由赵海燕副教授主持该课程。实验室数名同学选修了该课程，反响良好。
