德国亚琛工业大学博士

半岛客户端记者 李晓哲 实习生 董昊6月26日，中德智能技术博士研究院成立仪式暨首届中德智能技术专家高峰论坛在青岛国际经济合作区（中德生态园）举行。据了解，该研究院将充分发挥德国优秀博士生资源和中国博士生导师资源相对接的优势，推行人才培养阶段模式。第一阶段博士生培养方向重点为智能产品设计、智能制造与智能物流技术，后期增设信息技术、大数据及人工智能等培养方向，由德国相关高校授予博士学位，预计未来5年联合培养约50位博士生。成立仪式上，德国国家科学与工程院院士、不莱梅大学教授赫尔茨克，市经信委巡视员王建，分别代表德中双方合作机构致辞。德国弗劳恩霍夫应用研究促进协会发来贺信。在随后进行的签约仪式上，中德智能技术博士研究院与包括德国亚琛工业大学在内的7所中外知名高校，与今天国际物流、博世（中国）投资有限公司、菲尼克斯（中国）投资有限公司等11家知名企业签署科研与博士培养合作框架协议。聘请了德国国家科学与工程院院士、不莱梅大学教授赫尔茨克，德国国家科学与工程院院士、德国亚琛工业大学人机互动研究所所长罗斯曼教授，芯恩（青岛）集成电路公司董事长张汝京博士，不莱梅生产与物流研究院院长、不来梅大学教授透波恩4位专家为特聘科学家。德国锡根大学教授史达赫，同济大学教授、博士生导师房殿军，青岛科技大学中德学院教授、博士生导师李庆党等12位中外知名高等院校教授、学者被聘为特聘研究员。随后，青岛国际经济合作区（中德生态园）管委主任赵士玉，德国国家科学与工程院院士、多特蒙德工业大学教授库恩，芯恩（青岛）集成电路公司董事长张汝京博士以及德国工程院院士罗斯曼共同为中德智能技术博士研究院揭牌。据悉，中德智能技术博士研究院是国内首个由德国国家科学与工程院和德国弗劳恩霍夫应用研究促进协会共同指导，在政府支持下成立的技术应用研究和博士人才培养相结合的智能技术共享平台。研究院将引进德国弗劳恩霍夫应用研究模式，以青岛西海岸新区为基地，面向中德两国，充分发挥德方科研机构在科技、人才、创新和国际影响力等方面的引领力，为新区乃至青岛市智能制造、智能物流及智能服务技术领域高端人才培养和前沿技术研究创造新动能。中德智能技术博士研究院将搭建以德国国家科学与工程院院士为核心的顶尖创新团队，充分发挥特聘科学家、研究员专业优势及影响力，打造世界一流的高端人才培养与先进工业技术研究生态圈。通过与海尔、西门子（青岛）创新中心、博世（中国）、京东物流、菲尼克斯（中国）、澳柯玛等优秀企业开展院企合作，打造集教研合作、院企合作、国际交流于一体的战略合作新平台。中德智能技术博士研究院首创推行基础研究（以技术方案为主）、系统研究（以软件系统为主体）和应用研究（以虚实融合技术为载体）三位一体的创新研发模式，开展面向智能制造、可持续发展需求的前沿技术研究，形成一系列具有自主知识产权的科研成果，促进中德智能领域产学研结合的同时，还担当培养承担中德两国智能制造使命的高端人才。揭牌仪式后，首届中德智能技术高峰论坛随即召开，中德专家着眼“德国应用研究和高端人才培养成功案例分析”、“工业4.0与数字双胞胎”、“海尔COSMOPlat平台技术与实践”等话题做主题演讲，并进行精彩的圆桌对话。近年来，青岛国际经济合作区（中德生态园）突出中德合作、体现国际开放融合，坚持发展智能制造关键项目和关键技术，集聚了一批解决方案提供、数字化应用的设计研发类企业，家电、集成电路等智能制造类项目，开放辐射周边企业转型升级的科技支撑平台。园区先后获批国家工信部“智能制造灯塔园区”、“中德智能制造合作试点示范园区”、获得中德智能制造联盟副理事长单位等称号。目前已落户包含西门子（青岛）创新中心、海尔磁悬浮智能互联工厂、芯恩（青岛）集成电路等在内的高端研发、制造、教育培训机构10余家，智能制造产业已形成从解决方案提供、数字化工厂建设及改造、模式及标准输出一体化产业链，为国家输出家电行业智造标准。未来，将为汽车、石化等产业智能化改造提供解决方案。

说起德国这个国家，我们自然而然就会联想到机械强国，但是德国的机械实力其实和他本国拥有的理工名校息息相关。今天作者要介绍的就是一个理工科实力极强，而且充分体现了顶尖教育实力给德国机械带来的优势的学校—亚琛工业大学。图片源自网络亚琛工业大学是德国最负盛名的理工科大学之一，被誉为“欧洲的麻省理工”。大学成立于1870年，当时成立的宗旨在于促进手工业与经济的发展，当时叫做莱茵威斯特法伦皇家技术学校，刚成立时仅有29名教师。图片源自网络其次这些各种企业资助合作的机会，都是建立在亚琛工大本身的丰厚的教育实力之上。亚琛工大在QS2019世界大学排名中排名144名，其中机械工程高居世界第23位，欧洲第7位，德国第1位。至今已有6位诺贝尔奖得主曾在此就读，校友还包括现代空气动力学之父西奥多·冯·卡门、液晶之父奥托·雷曼、前西门子公司总裁Karlheinz Kaske、前保时捷公司总裁Wendelin Wiedeking、前土耳其总理内吉梅丁·埃尔巴坎等。就读过该校的中国名人有中科院前院长路甬祥、前北京科技大学校长徐金梧、前清华大学校长王大中等。现代空气动力学之父西奥多·冯·卡门亚琛工业大学自成立以来，不断开拓理工科目新领域。现在仅机械制造专业就有15门初等学位后的专修科目以供选择，其实力仅次于麻省理工大学。除机械制造专业以外还有一些特色强势专业如：电子工程学、计算机、建筑学、电工学、采矿等等。图片源自网络甚至亚琛工业大学所在地亚琛，都是因为这个学校的存在而闻名。位于德意志联邦共和国北莱茵-威斯特法伦州，靠近比利时与荷兰边境。亚琛以温泉（欧洲中部最热的温泉）著名，从西元1世纪起这里就是疗养地。图片源自网络这座人口不到26万的城市，被誉为德国最国际化的城市，其中最主要的原因就是亚琛工业大学吸引了太多跨国企业建立分部，如福特、微软、飞利浦等都在亚琛工大建立了分部，三菱在亚琛工大附近建立了亚洲半导体中心以吸收人才，近年来清华大学也和亚琛工大建立了学术合作。由于亚琛工业大学的突出表现，除了聚集众多知名厂商之外，许多厂商也纷纷资助学校各项研究，仅机械系的材料系下属塑料研究所就有300多家企业资助，如奔驰、宝马、福特等。图片源自网络在德国的几百所高等学府中，亚琛工业大学不愧为其中的王者之一，也是全德国最受雇主青睐的大学。毕业生总是供不应求，每年亚琛工业大学向全球100多个国家贡献超过4000名人才。在更加全球化的今天，我相信中国会有更多优秀的学校和亚琛工业大学合作，提供更多的学习、交流机会给我国的高素质人才。

2019已经进入尾声，科思创仍在马不停蹄地创新。这不，科小编就一路跟随科思创亚太区创新负责人“大麦博士”（施马可博士），来到深圳的德国商会2019德中经济峰会Xceleration Days，见证科思创与创新生态系统互动。来源：交织网平台旗下新宇涂料人才网科思创践行开放式创新理念，旨在跨越传统产业界限，深入生态系统，寻找可持续发展和循环经济相关话题的合作伙伴从而推动中国产业升级，促进多产业生态系统的发展。在Xceleration Days上，“大麦博士”邀请中国的初创企业参与到科思创的可持续性及循环经济项目的创新，合创共赢。除此以外，在不同的活动中，包括在上海举办的第十三届全球创业周中国站，他也向初创公司、企业家代表、风投公司、政府和媒体展示了科思创源自亚洲服务世界的创新与可持续发展实践案例。与大学及研究机构合作也是开放式创新的重要一环开放式创新理念不仅支持科思创与初创企业和跨行业合作伙伴的紧密合作，同时更扩大了与大学和研究机构间的交流。不久前开启的全球数据分析马拉松应用设计大赛（Hackathon）将于明天在德国勒沃库森Chemalytix数据科学会议上举行决赛啦！现在就跟随科小编一起，把镜头伸向中国同济大学、德国亚琛工业大学和美国卡内基梅隆大学的90多名学生、教授、科思创专家，来围观他们在过去一个月中的不断努力。一起给同济大学的同学们加油助威吧~

一 、她是谁？黄果，成都国语学校2015级德语班毕业，通过DSD项目留学德国，现就读于德国亚琛工业大学自动化专业。2015年，黄果在DSDII等级考试中取得优异的成绩，并获得了DAAD全额奖学金。（黄果同学DAAD奖学金证书）黄果科普小知识德国学术交流中心(DeutscherAkademischerAustauschDienst)简称DAAD，最早成立于1925年，代表德国231所高校和128个大学生团体，是目前全球最大的教育交流机构之一。DAAD奖学金是留学德国的中国中学生能拿到的最高金额奖学金，每月1000欧，极难申请，每年中国仅有2～4人申请到该奖学金。二、她怎么说？回想起在成外的学习生活，我十分感谢我的老师们，尤其要感谢我的德语老师，因为德语班人数较少，所以德语老师熟悉我们每一个人的情况，和我们亦师亦友，在很多时候都正确的引导了我们。决定出国是因为德国发达的工业，所以本科选择了德国最经典的机械工程专业，机械工程几乎涵盖了所有工业领域。我们在本科阶段可以学习到许多工科所需的基础知识，到了高学期可以选择自己更偏向的学习方向（航空航天、汽车、化工、纺织和生产工艺等）。另外，还有许多项目作业、实习和毕业设计等机会让我们对未来工作的行业有更深一步的了解。其中尤其宝贵的是实习的机会，由于是学校安排的实习，所以大多数同学都可以比较轻松的申请到在大众、戴姆勒、宝马、奥迪等德国大公司总部的实习，在实习中可以接触到很多行业相关的项目，认识更多优秀的同学和同事，学到很多更实际的经验。这些经历都对我们今后的求职都十分有帮助。除了学校的安排以外，德国的大部分公司以及学校的研究所都会提供学生工的职位，大部分的德国学生也都会利用自己的课余时间打工。通过学生工的工作可以在学习之余学到更多宝贵的工作经验。总的来说，留学开阔了我的视野，让我拥有了更多可以选择的机会，我很感谢自己当初选择了学习德语。亚琛工业大学（德语：Rheinisch-Westflische Technische Hochschule Aachen，英语：RWTH Aachen University），创建于1870年，是位于德国亚琛的世界顶尖理工类大学，世界百强大学。其在工科领域享有极高的声誉，是欧洲顶尖理工大学战略联盟（欧洲IDEA联盟）成员之一。亚琛工业大学现为11所德国精英大学（Exzellenzinitiative）之一、9所顶尖德国理工大学联盟（TU9）成员之一。其同时是TIME欧洲顶尖工业管理者高校联盟、CESAER欧洲高等工程教育和研究大学会议联盟、PEGASUS欧洲航空航天大学联盟等一系列组织成员。来源：成都外国语学校

德国拥有举世闻名的高超学术水平、高含金量的文凭和国际承认的教育体系，随着中德两国经济文化交流的增多，越来越多的中国学生前往德国留学。德国不仅是当代世界上最受留学生欢迎的国家之一，而且早在很多年前就有很多中国学者从德国学成归来或留德工作并在自己的领域作出显赫贡献。去德国留学，你可能会与这些名人成为校友哦！孙老师今天就给大家介绍一下有过德国求学经历的中国名人。王大中：王大中，1935年出生于河北省昌黎县，中国核反应堆工程与核安全专家，中国科学院院士，清华大学原校长。1953年入清华大学学习，1958年毕业于清华大学工程物理系。1970年任清华核能所党委常委、设计室主任。1980年赴西德进修，1982年在德国亚琛工业大学获自然科学博士学位。1993年当选为中国科学院院士，1994年任清华大学校长。亚琛工业大学(RWTH)成立于1870年，是德国著名理工类大学之一 ，也是世界顶尖理工类大学之一 ，现为11所“德国精英大学之一”、4所欧洲顶尖理工大学战略联盟(IDEA联盟)成员之一、9所顶尖“德国理工大学联盟”(TU9联盟)成员之一、TIME欧洲顶尖工业管理者高校联盟德国七所高校之一、CESAER欧洲高等工程教育和研究大学会议联盟德国十所高校之一、PEGASUS欧洲航空航天大学合作联盟德国六所高校之一，长久以来被誉为"欧洲的麻省理工"。亚琛工业大学在2018泰晤士世界大学综合排名中位于世界第79位，工程技术领域排名世界第24位。《德国经济周刊》大学排名中，亚琛工业大学机械工程、经济工程、电子信息工程位居德国第1，自然科学位居德国第2。在德国科学基金会和德国国家学术评议会的排名中 电气工程的科研实力和经费位居德国第1。季羡林：季羡林，生于1911年，山东清平人。1930年考入清华大学西洋文学系，1935年秋进入德国哥廷根大学学习赞文、巴利文、吐火罗文等印度古代语言，1941年获哲学博士学位，并应聘留校任教，1946年回国。中国外国文学研究会副会长，中国比较文学研究会名誉会长。哥廷根大学坐落于德国西北部的下萨克森州南部哥廷根市。是一所享誉世界的顶尖综合性大学，在2018年QS世界大学排名位居世界第114位。同德国的其他古老大学相似，哥廷根大学属于古老传统的大学城，是"没有校门和围墙的大学"。哥廷根大学名人辈出，蜚声世界。截止至2017年，从哥廷根大学走出的诺贝尔奖获奖人数为45人，数量为德国大学第二位、世界大学第15位 。

——记上海交通大学计算机科学与工程系符鸿飞当今之世，电子计算机技术和以其为基础的互联网科技正深刻地改变着人类的生产和生活。与此同时，计算机和互联网的效率和安全问题也就成为摆在人们面前的一项重要课题。在计算机硬件(特别是集成电路)和软件系统的设计过程中，形式化方法是根据某个或某些形式规范或属性，使用数学的方法证明其正确性或非正确性。上海交通大学电子信息与电气工程学院特别副研究员符鸿飞长期致力于形式化方法的研究事业，并着重于理论联系实际，尽量将理论成果实现现实生产生活的运用，取得了丰硕的成果。在兴趣指引下孜孜以求爱因斯坦有句名言：兴趣是最好的老师。但凡要在一项事业中取得成绩，离不开日复一日的辛勤耕耘。同时，如孔夫子所言，好之者不如乐之者。从事研究工作，最好是在兴趣的促使下，心无旁骛地孜孜以求。符鸿飞正是这么做的。符鸿飞于2003年考入上海交通大学计算机科学与技术专业。之所以当时会选择计算机专业是因为想探索与数学有一定联系的计算机问题。在本科求学期间，在编写程序的过程中，符鸿飞对如何保证程序编写的正确性产生了困惑，因此在写完程序后往往会反复读几遍程序，确保程序真正是写对的。这种写程序的方法相比一般通过测试检验程序的方法速度上要显得慢，但是通过这种方式写出来的程序往往缺陷较少，因此后期调试过程也相应比较短。除此以外，符鸿飞对算法理论和自动机理论感兴趣，并自学了计算机科学理论的基础——自动机理论。在硕士研究生阶段，符鸿飞选择了上海交通大学傅育熙教授作为自己的导师。傅育熙教授的研究方向是理论计算机科学中的进程理论。在他的指导下，符鸿飞对一些无穷状态进程模型的可判定性和计算复杂性进行了研究，并在互模拟判定以及模型检测算法方面作出了理论上的贡献。硕士阶段的求学经历让符鸿飞对利用数学方法证明系统正确性的形式化方法领域产生了兴趣。基于硕士阶段对形式化方法的兴趣，符鸿飞通过国家公派留学找到了该领域著名学者Joost-Pieter Katoen教授，赴德国亚琛工业大学攻读形式化方法相关的博士。在攻读博士期间，符鸿飞主要研究概率系统形式化验证，并独立自主地给出了诸多相关理论问题的基础算法和计算复杂性。在博士期间，符鸿飞的研究兴趣逐渐由纯理论转向理论与应用相结合。在博士后期间，符鸿飞和奥地利科学技术研究院(IST Austria)的Krishnen Chatterjee教授合作研究概率程序的形式化验证，并发表了多篇关于基础理论的结果。程序验证(即针对程序的形式化验证)领域是理论和应用相结合的一个范例，在理论上可以开拓新的形式化方法领域，在应用上也可以和无运行时错误保证、无安全漏洞等重要的实际应用相结合。程序验证方向也和符鸿飞本科时遇到的如何保证写对程序这个问题一致。面向实际，取得硕果累累科研成果要运用于实际的生产和生活当中，发挥其应有的价值。这也是符鸿飞一贯以来从事科研所秉持的理念，目前，他主要研究概率程序的形式化验证，致力于能够获得一些具有实际应用背景的理论结果。符鸿飞致力于理论计算机科学中的形式化方法领域。形式化方法是利用数学和逻辑的方法证明计算机系统正确性的研究领域。计算机系统的正确性在安全或任务关键系统中是一个核心课题。由于潜在的漏洞可能导致重大的人身或财产损失，如何保证关键系统不出现重大漏洞是一个重要的问题。作为理论计算机科学的一个重要分支，形式化方法为关键系统组件正确性的自动化推理和证明提供了坚实的基础，因此能够为系统是否满足一些关键的正确性性质作出最强的保证。近年来，随着系统越来越复杂，通过传统测试方法越来越难以覆盖足够多的系统执行路径。因此，形式化方法为全覆盖的、自动化的系统正确性证明提供了一个行之有效的方法。符鸿飞在形式化方法中的两个重要方向——模型检测和程序验证中都有突出贡献。模型检测是研究如何验证系统模型正确性的研究领域。在模型检测方面，符鸿飞着力研究概率模型检测的算法、可判定性和计算复杂性，并获得了一些基础性理论成果。在模型检测算法方面，符鸿飞以独立作者身份给出了关于连续时间马尔可夫过程时序逻辑的两个基础模型检测算法，并发表在国际著名形式化方法学术会议FOSSACS、HSCC上。其中发表在HSCC上的论文获得了最佳学生论文奖。在可判定性和计算复杂性理论方面，符鸿飞着力研究离散时间马尔可夫过程上关于互模拟等价关系的可判定性和计算复杂性，并以独立作者或主要贡献者身份在国际著名理论计算机科学学术会议ICALP、FSTTCS上发表多篇重要论文。相对于模型检测，程序验证是研究如何验证程序正确性的方向。在程序验证方面，符鸿飞在程序终止性以及运行时间验证方面取得诸多基础性理论结果，并发表在国际顶级形式化方法、程序语言理论以及人工智能学术会议POPL、CAV、IJCAI上。首先，符鸿飞作为主要贡献者与合作者提出了分级上鞅在同时带有恶意非确定性与友善非确定性概率程序上的定义，并给出了线性分级上鞅的合成算法以及相关的计算复杂性，进而为带有非确定性的概率程序终止性与期望运行时间验证提供了一个坚实的理论基础;同时，符鸿飞在该成果中证明了分级上鞅可以导出有限步内不终止概率的指数衰减性(POPL 2016，TOPLAS 2018)。其次，符鸿飞通过实代数几何中的一些数学定理以及半正定规划给出了概率程序上合成多项式分级上鞅的一个高效算法(CAV 2016)。再次，符鸿飞针对概率程序的资源消耗给出了一个基础验证算法(IJCAI 2018)。最后，符鸿飞将分级函数推广至非概率递归程序，进而通过线性规划以及实代数几何上的一些定理给出了一个输出非概率递归程序精确运行时间的验证算法;该算法可以有效地输出很多经典递归算法(如归并排序、最近点对算法等)的精确非多项式运行时间 (CAV 2017);同时，符鸿飞基于一元递归关系针对随机递归算法给出了一个验证精确期望运行时间的高效算法;该算法可以在线性时间内输出一个由随机递归算法导出的递归关系的精确期望运行时间(CAV 2017)。截至目前，符鸿飞在理论计算机科学以及形式化方法国际著名会议以及期刊上发表论文14篇。获得过HSCC 2013最佳学生论文奖以及科学中国人2017年度人物。在研究中，符鸿飞承担过一项关于大规模并发实时系统模型检验的国家重点项目。该项目的重点在于研究新的理论方法以有效验证兼具随机性、并发性以及实时性特征的大规模系统。随机性、并发性以及实时性都是难以通过直觉或是大规模测试保证正确性的复杂系统性质。通过该项目的研究，能够在为保证大规模概率并发实时系统关键性质方面给出一个有效的理论框架。在学术兼职方面，符鸿飞为国际著名学术会议和期刊ICALP、VMCAI、FOSSACS、Information and Computation, Information Processing Letters等审稿30篇左右。目前，符鸿飞在上海交通大学带领博士生进行形式化方法的深入研究，并教授《离散数学》、《程序语言理论》等与形式化方法相关的课程。同时，符鸿飞与博士导师Joost-Pieter Katoen教授、博士后合作导师Krishnen Chatterjee教授以及国内著名学者张立军教授等保持合作关系，共同推进形式化方法的发展。在团队协作方面，目前，符鸿飞主要是通过与国际国内共同研究方向的学者进行交流合作。国外主要是与奥地利科学技术研究院的博士后合作导师Krishnen Chatterjee进行合作研究，国内主要是与上海交通大学(校内合作)、华东师范大学、中国科学院软件研究所以及北京大学等具有共同研究方向的学者进行合作交流。开拓创新，自然水到渠成创新是科研的灵魂，唯有通过不断创新，才有可能在研究事业中不断地披荆斩棘，勇攀高峰，符鸿飞觉得在自己这个研究领域(形式化方法)，创新可以有三种形式。首先，一种创新形式是通过复杂的数学方法解决一个已经被提出的公认难题。这种形式的创新须要求研究者或研究团队有扎实的数学功底、要有一定解决数学问题的能力、同时最重要的是要对待解决的问题有充分的兴趣。比如符鸿飞获得HSCC 2013最佳学生论文奖的那篇论文，首先他对这个问题感兴趣，愿意花时间在这个问题上;其次在花时间解决这个问题的过程中，他通过持续的思考并借助自己在大学本科时期积累的数学基础解决了这个问题中两个关键的难题(连续性和无初值属性)。符鸿飞个人认为兴趣是解决这个问题的关键，否则这两个关键性难题的的解决或许会困难得多。其次，创新可以通过提出新的理论概念、并通过充实的依据说明提出的概念具有理论或实际上的意义。比如符鸿飞最近几年发表在POPL、CAV以及IJCAI上的文章，都是在和合作导师交流后发现了新的理论点，随后在这些点上展开所获得的结果。目前符鸿飞正在做的几个课题也是找到了新的理论点，随后研究新的方法以解决这些新的理论问题。符鸿飞认为这种类型的创新须要对这个领域的全局有一定程度的了解。再次，符鸿飞提到他研究领域中的创新还可以通过将理论结果应用到大规模工业系统中，以验证实际系统中的一些关键性质。由于符鸿飞是做理论研究的，所以在这方面还没有太多的建树。不过他提到由于理论和实际应用之间往往存在比较大的距离，因此将理论结果转化为实际应用通常需要一个多人的团队以及一两年的时间。因此完成这种类型的创新虽然理论上没什么难度，但需要一定的人力和时间。最后，符鸿飞提到目前的趋势是完成创新所需的要素越来越多。除了将理论投入应用的创新需要团队和时间以外，理论性的创新也须要学术同行之间多进行交流，很多时候也须要有能力的学生对理论结果做一些初步的实验。因此，目前想完成创新须要多种要素结合在一起，在单一要素方面即使再强也难以达到好的成果。面向未来，做好教学工作冰冻三尺，非一日之寒。科研成果的取得也离不开一代代研究者在继承的基础上不断创新，开创新篇。良好的传承是研究事业取得大成的重要条件，所以做好教学工作与科研本身一样重要。在教学方面，符鸿飞觉得首先要把学生放在首位。比如在设计教学内容的时候可以考虑什么样的内容是有助于学生的，在进行教学的时候可以先站在学生的角度看待问题、设想学生会如何去学习新的知识。学生在学习一门课程前有他们自己的知识结构，如果教师严格按照自己对课程内容的把握上课，有可能会导致学生无法将新的知识同原有的知识结构建立起联系，因此教师首先要从学生的角度出发讲课，直到学生能够循序渐进地掌握课程内容。同时，学生由于情况各不相同，在掌握课程内容方面多有差异，因此教师要对每个学生都有耐心、尽量解决每个学生的问题。其次，在教学的时候，要注意调动学生的积极性、活跃课堂气氛。这样做的好处是学生的注意力会一直比较集中，同时学生也能够主动参与到课程的学习中，提高教学效果。最后，在课程内容的设置方面须要联系整个专业背景，力求学生在修习过课程后能够更好地适应专业发展趋势。讲课时须要注意保持讲课逻辑的一致性和内在关联性，使得学生能够融会贯通。同时，也须要随时观察学生掌握课程内容的情况并进行有必要的干预。目前工作以及未来展望目前，符鸿飞有一些关于概率程序验证的理论结果正在和合作者共同完成。关于概率程序的终止性验证，目前符鸿飞在和上海交通大学理论组合作完成几项深入的研究;关于概率程序资源消耗的验证，符鸿飞目前正在带领上海交通大学理论组的一个学生进行研究;而关于概率程序的灵敏性验证，符鸿飞也正与华东师范大学的合作者共同开展研究。另外，符鸿飞也在和中国科学院软件研究所以及北京大学的一些研究人员讨论合作事宜。展望未来，符鸿飞的一个短期的憧憬是希望这些结果都能够圆满完成，并且能被学术界认可。长远来看，他希望作出一些能够应用在工业界关键场合的成果。我们相信，经过坚持不懈的积极开拓，假以时日，他一定能得偿所愿。

大众网·海报新闻济南9月9日报道记者 梁雯山东正处于新旧动能转换的关键时期，急需各类人才，尤其是包括海外人才在内的各类高端人才。对于来鲁创新创业的高端人才们来说，他们对山东满不满意呢？近日，记者采访了三位已经或确定马上要来山东工作的博士后。加拿大医学博士后将入职山大二院：从院长到处长都很关注我，这儿的平台和待遇很棒作为一名加拿大的医学博士后，今年35岁的郭海洋无疑是同辈中的佼佼者。作为遗传学博士，在加拿大的博士后生涯中，他主要从事医学的基础研究，科研成果曾发表在《Nature Genetics》等国际核心期刊上。虽然在加拿大取得了不少成绩，但郭海洋从出国时就想好了今后还是要回国发展。在求职时，虽然也想过去广州等大城市，但作为一个山东人，回家乡与家人、朋友在一起的想法始终对郭海洋很有吸引力。2016年，郭海洋就已经开始筹备回国的事情了。在求职过程中，山东大学第二医院的王院长看了郭海洋的简历，觉得他的工作经历和研究方向比较契合二院基础科研发展的需要。为了能打动郭海洋，山大二院下了不少力气。“二院的杜鲁涛老师给我介绍了二院的科研发展规划和人才政策，在深入了解之后，我发现二院能为我将来的研究提供非常好的科研平台和有力的支持。此外，院里在各方面也给出了很好的待遇，包括很大的独立实验室空间和先进的仪器设备、充足的科研经费、以及在个人生活待遇方面的充分保障。”郭海洋说。山大二院人力资源部的肖辉主任告诉记者，在高端人才的引进上，山大二院采取了柔性引进策略，优化招聘方式，一年365天全天候收取海内外医学博士简历，除例行校园招聘外，发现优秀人才后由人才专员主动跟进，了解需求，提供人性化服务，确保优秀人才不流失。“我打算今年11月底就入职。因为我这边还有一些文章快发表了，这段时间主要在补一些实验，做一些回国的准备。” 郭海洋告诉记者。郭海洋并非个例。记者了解到，山大二院出台了多项政策吸引海内外重点大学的博士研究生，比如对符合条件的博士发放高达30万元的安家费等，优秀者可上浮。2019年，山大二院招聘的高层次医学人员中，医学博士占比较2018年提高15%，这其中就有来自美国哈佛大学、德国亚琛工业大学、北京大学、北京协和医学院、中南大学等中外知名高校的医学博士。丹麦留学后在山东十几年：海洋科技集聚优势和政府投入都很给力近日，当记者联系青岛海洋地质研究所副总工程师印萍时，她正带领团队在浙江进行海岸带的相关考察。“我们想用新的理念来开展地质调查工作，更好地服务于我国海岸带地区海洋经济的发展，也希望对海岸带地区的减灾防灾、生态保护、生态修复等提出合理建议。”从小对地质感兴趣的印萍，高中时就把中国海洋大学“海洋地质”专业作为第一志愿。1998年，刚刚博士毕业的印萍作为访问学者在丹麦的哥本哈根大学地理学院访问学习。2000年，印萍受到法国使馆科技合作奖学金的资助，赴法国开展了前后两年的博士后合作研究工作。印萍认为，20几年前，我国海岸带和海洋地质方面的调查研究工作，虽具有一定基础，但和欧美等发达海洋国家相比，差距还比较明显。但是随着中国各方面的飞速发展，印萍觉得在海洋科技方面，国内外已经没有多大的差距了。“我们团队很多人都有海外留学、交流的经历。在海洋科技方面，我觉得青岛这些年不论是青岛海洋科学与技术试点国家实验室的建设，还是对海洋的科研投入方面，或者是人才引进方面，都算走在国际前列。”虽是公派出国留学，根据要求需要在学成后回国工作，但印萍在海外期间也得到了一些留下来的机会，最终，她还是义无反顾地回到了山东。作为一个海洋地质工作者，印萍觉得山东是比较合适的工作地。“从海洋科技力量、海洋资源的汇聚等方面来说，山东都是一个很好的平台。”2002年回国后，印萍一直在山东青岛从事海岸带研究相关工作。她觉得山东还是在努力为科研工作者的学习和工作创造良好的条件。“我回国后，开展了很多大型的调查项目，所里在团队构建、项目保障、科研环境、国际合作等方面，都给了很大的支持，我想能提供的可能都提供了。”印萍笑着说。在山东工作的十几年，印萍获得了不少荣誉。山东省先进工作者、青岛市政协委员、十三届全国人大代表、青岛市侨联委员……一项项荣誉，不仅是对印萍工作的肯定，也是对山东越来越好的人才环境的肯定。“回国以后，在学习环境、工作环境和政治环境方面，我都得到很多支持，也得到很多认可，蛮感激的，也希望今后能为山东做出更多贡献。”记者了解到，目前，印萍所在的青岛海洋地质研究所的海岸带研究团队有50人左右，其中既有留学人员，也有不少硕士、博士的身影。“我的小研究团队大概有20人，以硕士和博士为主。”印萍告诉记者。韩国博士后回济南大学：年轻老师也能当实验室带头人，学弟学妹们也来了记者见到李阳时，他正在带着学生做实验。1987年出生的他，现在已经是山东省优秀青年基金获得者、济南大学信息科学与工程学院的副教授、院长助理了。2007年，李阳到青岛科技大学学习集成电路设计相关的专业。2011年本科毕业后，李阳被学校保送到韩国光云大学，经过4年的时间便拿到了博士学位，之后他又在韩国光云大学做了一年博士后，于2016年7月作为校聘教授加盟济南大学，到现在已经有三年时间了。毕业后，李阳也曾考虑过留在国外继续发展，但出于对国内集成电路行业建设的迫切之心，他还是选择了回国。“国内真的很需要集成电路设计与加工相关的尖端人才，我希望能把在韩国学到的先进技术带回国内。”有了回国的念头后，李阳面试了很多学校。“当时南方和北方都有不少学校都要我过去，包括多所985、211高校，但我是北方人，还是想回北方来。”李阳加盟济南大学的决心还源于学院领导的重视。“当时我们学院集成电路专业很缺老师，面试后院长、党委书记一直给我发邮件，问我什么时候来，希望尽快回国发展， 尽快加入济南大学。”除了领导的重视，他看中的还有独立做PI（实验室领头人）的机会。“来这里，我可以从头开始做自己想做的前沿科研了。”在李阳正式入职前，他申请的一项国家自然科学基金就已经批了下来，加上济南大学给予的60万元的科研启动资金，这些都让李阳对回山东发展的决定更有底气了。与韩国相比，李阳觉得国内的学术环境正变得越来越好，研究能力越来越强，国内发论文的水平和数量也超出了一些西方发达国家。他相信山东良好的大环境，可以让青年教师茁壮快速成长。在回国工作的三年里，李阳搭建的实验室已初具规模，已经具备了完善的芯片制造与测量的环境，并且还在不断完善之中，实验室设备总价值也超过了300余万元。李阳告诉记者，团队现在主要在做类脑芯片和电子皮肤芯片的相关研究。“类脑芯片就是模拟人类思维的芯片，与当前全球研究热点人工智能关系密切；而电子皮肤芯片就是模拟人类触觉、感觉的芯片，是实现智能机器人不可或缺的一部分。此外，李阳还把自己在韩国的师弟师妹拉入了团队，人才多了，也让学院原本比较薄弱的科研工作，有了起色。接下来，李阳希望能在自己的研究方向上继续努力，向世界顶级水平靠拢，能够在集成电路领域形成一个在山东有特色、有影响的科研团队。

9月20日上午，德国亚琛工业大学（RWTH Aachen）校长乌尔里希·吕迪格（Ulrich Rüdiger）一行20人到访清华大学，校党委书记、校务委员会主任陈旭在丙所会见了来宾。双方就进一步加深拓展合作进行了交流，并签署了两校在深圳国际研究生院开展合作的意向书。自从去年11月清华大学深圳国际研究生院获教育部正式批准设立，已经有不少国际名校和清华签署了合作协议，这一重大利好消息极大地鼓舞了深圳本地居民。深圳的步伐自新中国成立以来，深圳在本土教育上面一直稀缺，广东省主要的高校都集中在广州，给深圳本地居民求学上面造成了不便。但是伴随着深圳政府和清华、北大、哈工大签署合作，三所全国前列的知名高校在深圳分别建立了自己的研究生院系，和本部拿同样的毕业证和学位证。一开始的几年，北京本部的同学都不愿意过来深圳，因为觉得深圳学识气息太薄弱，不利于学术研究。但是短短几年之后，深圳吸纳了诺贝尔奖获得者，建立了诺奖实验室，继续加码教育投资，紧接着就是去年成立清华大学深圳国际研究生院。也是迄今为止，首个清华大学异地办学机构，和之前的设立研究院相比前进了一大步！德国亚琛工业大学9月20日上午，德国亚琛工业大学（RWTH Aachen）校长乌尔里希·吕迪格（Ulrich Rüdiger）一行20人到访清华大学，校党委书记、校务委员会主任陈旭在丙所会见了来宾。双方就进一步加深拓展合作进行了交流，并签署了两校在深圳国际研究生院开展合作的意向书。清华非常期待与亚琛工业大学共同在深圳国际研究生院的建设中，探索更多两校之间高层次的人才培养合作模式，进一步推动两校间的科研合作与交流。 吕迪格简要介绍了亚琛工业大学过去十年在教学、科研和国际合作办学等领域取得的进展并表示，清华大学是亚琛工业大学的重要合作伙伴，两校间众多的合作项目促进了双方的交流往来，取得了显著成果。希望通过此次意向书的签署，推动双方在更多领域开展深入交流合作，进一步推动两校学生联合培养和科研合作迈上新台阶。 和美国旧金山委员会签署合作旧金山湾区，简称湾区，位于美国加州北部，包括旧金山市及其周围9个郡，是世界级技术创新之都，硅谷亦在其辖区内。美国旧金山湾区委员会于1945年建立，目前拥有超过275家大型企业的CEO成员，并与全球20多个国家有合作关系。湾区委员会是一个非政府组织，但湾区委员会在旧金山湾区的商界、政界和学界具有较大的影响力和号召力，代表当地300多家大企业的利益，其中包括谷歌、脸书、甲骨文、苹果、爱彼迎、基因泰克等。湾区委员会作为北加州地区影响力较大的非营利性组织，多年来致力于促进中美双边创新和经济发展。湾区委员会希望能在深圳设立办公点，与TBSI共同深化深圳湾、旧金山湾的“两湾”交流合作，为双边人才交流、学术交流、技术转移、项目孵化、国际合作等提供更多支持。

亚琛工业大学，想必对有意去德国留学的同学都不陌生，同样作为德国精英大学之一，也是顶尖德国理工大学联盟（TU9）成员，创建于1870年，坐落于德国北莱茵-威斯特法伦州的亚琛市。在工程技术领域享有极高的声誉，是欧洲顶尖理工大学IDEA联盟成员之一。同时还是TIME欧洲顶尖工业管理者高校联盟、CESAER欧洲高等工程教育和研究大学会议联盟、PEGASUS欧洲航空航天大学联盟等一系列组织成员。怎么样，是不是一听就很牛的样子?!说完它的身份，我们再来康康大家最喜欢关注的QS排名。根据2020年QS世界理工高校排名，其位居世界第51位（其中采矿工程第21位，机械、航空航天和制造技术领域高居18位，电气与电子工程第34位，化学工程第37位）在2020年QS世界大学毕业生就业竞争力排名中，位居世界第63位。亚琛工业大学最初成立的目标是为了培养满足工业快速发展所需的工程师，还经历了两次世界大战的洗礼，曾于1939年短暂关闭过。后来，亚琛工大稳步发展，并陆续增加了哲学、医学、教育等科系，也不断吸引到更多的学生，知名度和学术实力都渐渐在国际上得到认可。亚琛工业大学与众多科研机构，包括四所弗劳恩霍夫研究所以及一所莱布尼茨学会研究所保持合作关系。部分教授也供职于于利希研究中心（Forschungszentrum Jülich）。一些研究所与位于科隆的德国航空航天中心紧密合作。顶尖的科研与教育水平让许多著名公司如微软、福特、爱立信、飞利浦、联合技术等都在亚琛建立了分部，三菱则在附近建立了欧洲半导体中心。说到学术实力那么就不得不提一提它的那些明星校友，它培养出的学生遍布各个领域，几乎都是行业翘楚。前中国科学院院长路甬祥、教育部副部长韦钰、原清华大学校长王大中、钱学森的导师冯·卡门；宾利汽车总裁，奥迪公司前总裁Franz-Josef Paefgen、保时捷公司总裁Wendelin Wiedeking、西门子公司总裁Karlheinz Kaske……有趣的是亚琛亚琛工业大学并没有所谓的校园，依建筑物分为几个主要的中心区：中央校区在亚琛内城西北部，介于市中心与火车西站之间，包含了主楼、综合楼SuperC、主餐厅和大多数教学楼与管理部门等。除此外还有Hrn校区、Melaten校区，在城市南部Burtscheid地区还有心理学、晶体学、技术声学等机构。Melaten校区和Seffent地区是下一步扩建校区的主要位置，同时在于利希（Jülich），埃森（Essen），小瓦尔瑟塔尔（Kleinwalsertal）等地均有驻点。亚琛工大的地理位置也是绝妙的。靠近比利时与荷兰的边境，在学习空隙去游历一番也是不错的选择。若是不想走太远，亚琛本身就是个很棒的选择。这里的温泉尤其闻名，早在西元1世纪起这里就被列为疗养地。繁忙的学习过后，给自己安排一次温泉之行来放松一下，享受亚琛带给你的静谧午后。这里也是工业与集会中心，盛产杏仁糖、巧克力、Printen饼。泡了温泉，还可以顺便品尝这里的甜品美食，简直完美。这么棒的校园生活，不要安排一下？