我校高校科学营营员视频连线世界顶尖科学家论坛对话活动

       根据高校科学营活动安排，经商世界顶尖科学家论坛•科学T大会组织， 8月19日将举办第二场顶尖科学家与高校科学营营员对话活动，参与线上讲座对话活动的营员由高校科学营各省管理办公室推荐产生。经过申报选拔，省科协推荐，我校营员代表我省营员参会。

       8月19日下午16：00-17：00，我们通过ZOOM软件线上参与视频会议。科学家谢约瑟夫•斯发基斯，国际嵌入式系统研究中心Verimag实验室名誉研究主任EmeritusResearchDirector,Verimag世界级自主系统领域的专家，为我们作了主题为“Machine Intelligence – Rising up to the  Challenge机器智能 迎接挑战”的半个小时的报告。随后，在全国高校营中产生的5位营员代表与世界顶尖科学家提问互动。

       我校是高校科学营厦门大学分营的队伍之一，营员经过报名选拔，品学兼优，对科学研究领域有较大兴趣，英语听说水平较高。营员廖睿滢，此前刚被中共龙岩市委精神文明建设办公室、龙岩市教育局、中国共产主义青年团龙岩市委员会、龙岩市妇女联合会、龙岩市关心下一代工作委员会联合评为2022年度龙岩市“新时代好少年”。原来她准备了一个问题参与视频连线：特斯拉CEO马斯克曾言，AI比核武器更危险。您也曾在2021年“第二十一届中国国际高新技术交易会”上提出，“自动系统会非常地重要，因为它会去取代人类的作用，有的时候这个系统也会失去控制”，那么您觉得我们要如何去使用这个新的技术，去驾驶它，而不是被它所控制呢？（Tesla CEO Elon Musk has said that Al is more dangerous than nuclear weapons. You also once said in 2021 "the 21st session of China international hi-tech fair", "automatic system will be very important, because it will be to replace the role of human, sometimes the system will be out of control", so you think we should how to use this new technology, to drive it,rather than being controlled by it?）

       我校营员全体参加了此次视频会，他们更进一步体会到，科学很重要，研究很重要，方向很重要。现在这个阶段，一定要扎实学习，打牢基础。

       科学家简介：谢约瑟夫•斯发基斯，国际嵌入式系统研究中心Verimag实验室名誉研究主任EmeritusResearchDirector,Verimag世界级自主系统领域的专家。斯发基斯教授因“将模型检查理论发展为被硬件和软件业中所广泛采纳的高效验证技术”，荣获2007年图灵奖。

       教育与工作经历：1974年至今，国际嵌入式系统研究中心Verimag实验室法国国家科学研究中心研究员、名誉研究主任2009年至今，法国替代能源和原子能委员会咨询专家2009-2011年，法国教育部数字技术国家战略工作组主席2010年至今，格勒诺布尔智能软件与系统综合研究中心主任。

       主要奖项与荣誉：2007年，图灵奖；2011年，荣誉军团指挥官；2012年，莱昂纳多·达·芬奇奖章；2017年，美国国家工程院院士。

       主要学术成就：约瑟夫·斯发基斯的研究工作具有决定性意义，并且引导出了新的软件规范、新的检测算法以及杰出的理论结果。这项技术今天被应用于集成电路工业中，以便设计复杂的系统，而且能使其保证符合预设的规范。模型检查在嵌入式处理器和关键系统方面所能带来的产业影响在未来的几年里将会更加显著。

（供稿：教研室。审核：办公室。监制：宣传组）