南京邮电大学洪龙教授访问实验室并做报告

2017年10月13日，南京邮电大学洪龙教授访问系统可信性自动验证国家地方联合工程实验室，做了题为《简论IT工程中的体系结构设计》的学术报告。报告中，洪龙教授深入浅出为实验室成员介绍了软件工程中的体系结构设计的方法和流程，使大家深受启发。学术报告后洪龙教授参观了系统可信性国家地方联合工程实验室，并与实验室成员进行了面对面的、深入的交流。洪龙教授对实验室的工作给予了高度评价，对实验室的发展提出了很好的建议和意见。