学术活动

计算机学院开展“知识处理与可信软件”系列研讨会

作者:zjq118 | 来源: | 发布日期:2009-09-26

 

     5月23日下午2点,在南校区信息楼三楼会议室,开展了一场关于“知识处理与可信软件”的研讨会。此次研讨会由知识处理与网络化制造湖南省普通高校重点实验室,计算机科学与工程学院主办。学院刘建勋副院长主持了此次研讨会。

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

 

      报告后,教授、老师们对报告内容进行了热烈的讨论,现场气氛高涨。经过了四个小时的讨论,此次研讨会圆满结束。