12月18日，2012年图灵奖得主Silvio Micali教授来到启真讲堂，用通俗、生动的语言和例子为同学们带来了一场题为“证明，秘密和计算”的讲座。
    
    Silvio Micali教授生于意大利，于1983年在加州大学伯克利分校取得计算机科学博士学位，同年进入麻省理工大学任教。他的研究方向涉及基于复杂性的伪随机生成、密码学、零知识、安全协议和机械设计。Micali教授由于在密码学和复杂理论领域做出创举性工作，于2012年和Shafi Goldwasser教授一起被授予图灵奖。
    
    讲座中，Micali教授介绍了计算机科学在数学证明中的革新性应用，揭示了其在数字领域意想不到的应用。他还具体介绍了P/NP问题等前沿课题。在问答环节，大家纷纷提问，对教授的讲座提出自己的见解、看法甚至质疑，现场互动非常热烈。
    
    在讲座的最后，Micali教授也给了同学们一些建议，他提到自己的论文曾经数次被拒，但是他始终相信自己，在别人都不相信自己的情况下坚持是一种固执，但同时还需要具备的是质疑、批评自己的力量，自信与自我怀疑的态度同样重要。教授鼓励同学们在论证的过程中相互合作，在合作中找到双赢的解决方法，合作总会战胜竞争。有好运降临的时候也不要觉得羞于接受，因为没有运气可能什么都没有。遇到走不通的路时把这样的困境当成一个机会，一个可以去寻找更好的解决方法的机会，不要消极地看待它，找到其中美的地方。生命中如果没有这些挑战将变得多么无聊，解决这些问题证明了我们存在的价值。而把那些暂时找不到解决方法的问题都记下来，一段时间之后再回过头来解决它们。还有就是要一直保持谦虚、再谦虚的态度。
    
    （摄影 古越/文 朱原之）