讲座预告|法国Jean-JacquesLévy教授带你探索信息时代的奥秘

华商国际学院

文化素质系列讲座（十一）要来啦

在本次讲座中

我们邀请到了

来自法国的Jean-JacquesLévy教授

与我们一同探讨

“计算机发展的四个阶段”

下面一起来揭晓这位神秘的嘉宾吧

嘉宾信息

INFORMATION

   Jean-JacquesLévy 教授，巴黎大学博士学位，INRIA（法国国家信息与自动化研究所）研究员，曾任Palaiseau理工学院计算机科学教授，曾受聘为中国科学院客座教授，并曾受邀在北京清华大学和阿根廷布宜诺斯艾利斯大学教授功能语言和程序验证。 Prof. Jean-JacquesLévy 指导了20名优秀的博士生，撰写了50篇出版物和6本书（其中4本是共同撰写的），参与运行了6种软件，并拥有1项美国专利。

    此外，他在编程语言理论和软件验证方面的研究也有丰富的经验。他是lambda验算的语法和语义、术语重写系统、并发理论以及由计算机检查的程序验证方面的专家。他曾参与了Ariane 5嵌入式软件的静态分析，并于1997年在马特拉马可尼航天航空（图卢兹）和DASA（不来梅）领导了ISS哥伦布欧洲模块嵌入式代码的国际审查。他为CNES和ESA的新编程规则做出了贡献（1999年）。目前，他主要研究用Why3，Coq和Isabelle / HOL系统证明图算法的正确性。讲座概要

   计算机科学的四个时代

   科学可以解释自然，也可以建造新机器。计算机属于一种复杂的新机器，而与之配套的计算机科学被认为是20世纪的重大科学发现。在这个奇妙的进程中有4个主要时代：the prelogiqian time, the ibmzoic, the windozoic and the googlozoic eras。

   计算机系统是现代的大教堂。它们经历了漫长的发展历程，但起初是由技术的快速进步所触发的。在这次讲座中，我们将简要回顾过去60年软件和硬件的并行发展，并试图激励学生重新了解计算机科学这门未来的主要课程。

此次讲座

能让你深入了解计算机科学

是不是很心动呢

如果想与教授近距离接触

请关注下方信息

👇👇👇

讲座信息

★讲座时间★

2019年11月18日14:30

★讲座地点★

启智楼409课室

★面向对象★

华商国际学院学生

以及

其他感兴趣的华商学子

（参与本次讲座可加人文素质分4分）

（扫描上方二维码进行线上报名）

注：此次讲座语言为英语

计算机科学有何独特魅力？

又有着怎样的发展历程？

它在我们的生活中扮演着怎样的角色？

......

带着这些疑问

让我们一起踏上计算机科学的探秘之旅吧

图文编辑| 新媒体部  邓心悦

信息提供 | 华商国际学院办公室

往期精彩回顾