5月23日,在信息楼三楼会议室,计算机学科学与工程学院开展了一场关于“知识处理与可信软件”的研讨会。此次研讨会由知识处理与网络化制造湖南省普通高校重点实验室、计算机科学与工程学院主办。副院长刘建勋主持了此次研讨会。
此次研讨会上,北京航空航天大学计算机学院李舟军教授作了“协议与软件安全漏洞的分析和验证”学术报告。他介绍了安全协议的背景与意义、安全协议的类型、性质,剖析了某些安全协议失败的原因,并提出了安全协议的精确建模与高效验证方法;美国Georgia大学计算机系助理教授刘天明作了“关于老年痴呆症的科学知识”学术报告,他说明可利用计算机技术完成预测,结合脑科学及以往的经验,治疗老年痴呆症,建立知识模块,也可运用到其他领域中;中南大学王国军教授作了“可信网络计算环境中的信任模型及信任传递机制的研究”学术报告,在报告中,他对时间相关的信任模型,小世界网络的形成等研究成果进行了展示;澳大利亚Swinbarne科技大学助理教授陈金俊博士讲述了科学工作与其他工作的不同,及工作中的自动化等内容。针对关于“知识处理与可信软件”的四个报告,教授、老师们对报告内容进行了热烈的讨论,现场气氛高涨。