华商大讲堂之国际学院文化素质系列讲座（十一）|法国Jean-JacquesLévy教授带你探索计算机科学世界
科学可以解释自然也可以改变世界，而计算机作为20世纪的重大科学发明，它到底有怎样的奥秘呢？2019年11月18日14:30华商国际学院文化素质系列讲座（十一）在启智楼409如期举行。本次讲座嘉宾Jean-JacquesLévy教授与大家一同探讨了“计算机科学发展的四个阶段”。下面就让我们一起来回顾一下讲座现场吧！
主讲嘉宾介绍
Jean-JacquesLévy教授，巴黎大学博士学位，INRIA (法国国家信息与自动化研究所)研究员，曾任Palaiseau理工学院计算机科学教授，曾受聘为中国科学院客座教授, 并曾受邀在北京清华大学和阿根廷布宜诺斯艾利斯大学教授功能语言和程序验证。Prof. Jean-JacquesLevy指导了20名优秀的博士生，撰写了50篇出版物和6本书(其中4本是共同撰写的)， 参与运行了6种软件，并拥有1项美国专利。
此外，他在编程语言理论和软件验证方面的研究也有丰富的经验。他是lambda验算的语法和语义、术语重写系统、并发理论以及由计算机检查的程序验证方面的专家。他曾参与了Ariane 5嵌入式软件的静态分析，并于1997年在马特拉马可尼航天航空（图卢兹）和DASA（不来梅）领导了ISS哥伦布欧洲模块嵌入式代码的国际审查。他为CNES和ESA的新编程规则做出了贡献（1999年）。目前，他主要研究用Why3，Coq和Isabelle / HOL系统证明图算法的正确性。
讲座现场
同学们怀着好奇心来到现场，并被计算机科学神秘的发展史深深吸引。Jean-JacquesLévy教授以图文并茂的形式，以精简的语言进行演说，即便是全英讲座，即便大多数同学并非计算机专业，也使他们对计算机领域有所领悟。
在提问环节同学们积极发言，Jean-JacquesLévy教授耐心地为同学们逐一解惑。他以幽默的口吻，举例说明计算机科学就在我们身边。
讲座概要
计算机科学发展的4个时代
分别是
1The prelogiqian time: 这一时期的计算机是在以电子管作为逻辑元件，用阴极射线管或汞延迟线作为储存器并结合冯•诺依曼的理论的条件下产生的，主要用来进行科学计算，它奠定了电子计算机的发展基础。2The ibmzoic time： 许多计算机研究人员投入巨大的心血终于找到了将第一代计算机简化并且强化其计算能力的方法，由此最新一代的晶体管计算机诞生了。3The windoic time and the googlozoic eras time: 随着半导体技术的发展，计算机的生产速度越来越快，性能越来越强，并且伴随网络的出现，网络操作系统、数据库管理系统等也得到了快速的提升和进一步的优化，处理能力越来越强，全球进入了计算机科学的黄金时代，家家户户都可以使用简便快捷的计算机来丰富自己的生活。 Jean-JacquesLévy教授将复杂的内容简单化，通过讲述计算机科学不同发展阶段的典型案例以及计算机科学在实际生活中的广泛应用，使得计算机科学的发展线条清晰可见，令人印象深刻。Jean-JacquesLévy教授预言计算机科学在未来有无限的可能：计算机将更小型轻便、传感器无处不在、智能机器人替代人类工作等等。未来的计算机世界等待着我们这些充满热情与朝气的年轻人去探索并发掘其中的奥秘。
讲座尾声
华商国际学院余惠芬院长首先感谢Jean-JacquesLévy教授于百忙之中给我们带来的精彩演讲，另外还特别感谢欧洲高等科技大学董事长王子燕女士帮忙引荐与陪同Jean-JacquesLévy教授来我校做讲座，她表示Jean-JacquesLévy教授将讲座内容化繁为简且深入浅出，使得全场师生更易理解，受益匪浅。最后她希望同学们通过此次讲座能够逐渐重视计算机科学这门学科，并从中学到更多关于计算机科学的知识，将之运用在生活和学习当中。
至此，本次讲座圆满结束。Jean-JacquesLévy教授的生动演讲让我们畅游在计算机科学的海洋里，探寻着未知的世界。此次讲座激发了我们对计算机科学的兴趣，吸引我们去探索，去发现！
编辑|新媒体部 谭树锋
图片|新媒体部 谢彤 杨茂莲
往期精彩回顾