2015年10月12日，新加坡南洋理工大学刘洋助理教授访问重点实验室，并做了《Automatic Software Specification Learning and Summarization》的报告。张大庆、王千祥教授，郭耀副教授，熊英飞研究员等和多名博士研究生听取了报告，并就有关技术问题进行了探讨和交流。
