2012年9月28日下午3时，南京大学软件学院院长、博士生导师李宣东教授应邀来我院信工楼E501为计算机以及相关专业的研究生们做了题为“可信软件的若干问题”的学术讲座，讲座由信工学院副院长王命延主持，武友新教授也参加了本次讲座。
    首先，李教授诙谐幽默地列举了一些现实案例，如：“熊猫烧香”、“千年虫”、“F22”战机事故。通过这些实例，引导大家体会软件的不可靠性在日常生活中的危害，点出了软件可信性的重要性。接着，李教授提出了“深入认识软件系统”的概念：在思维的角度而言，软件系统是人大脑思维的表现；在数学角度而言，软件是一个数学系统但又不能成为一个数学系统的关系。同时指出了，可信软件标准的匮乏，他说制定有关可信软件标准是人们当下迫切的需求，通过可信软件标准的制定，逐步提高人与软件系统之间的信任关系，从而使软件的可信度大幅的提高，让人们在以后的日常生活中更多地受益。最后，李教授对可信软件进行了一个概括性的总结：可信软件是迫切的社会需求，但却是一个永恒的挑战。可信软件的诞生是一个长期的过程，人们总是在利益和风险当中进行权衡，当利益大于风险的时候，人们可以利用这些“可信软件”为自己服务；当利益小于风险时候，就抛弃这个软件。
    在接下来的互动交流环节中，面对大家的踊跃提问，李教授一一做答。同学们纷纷表示受益匪浅：李教授学识渊博、造诣深厚，他深入浅出地把抽象理论娓娓道来，让大家注重理论的框架性学习的同时，更加强调进行能力的结构性训练。

（信息工程学院王蒙    编辑报道）