-

约瑟夫·希发基思(Joseph Sifakis)
男,希腊和法国双国籍,计算机科学家。1946年12月出生于希腊,1969年获雅典技术大学电子工程学士学位,1974年获法国格勒诺布尔大学计算机科学博士学位。2007年获国际计算机界最高奖“图灵奖”。2008年当选法国工程院院士和欧洲科学院院士,2010年当选法国科学院院士,2015年当选美国人文和科学院院士,2017年当选美国工程院外籍院士。现任法国国家科学中心主任研究员。 希发基思教授的主要研究领域是模型检测及嵌入式系统设计与验证。他在1979年提出了通过对时序逻辑公式的计值来验证并发系统性质的思想,得到了一系列理论结果,包括对含有“可能”和“必然”模态算子的分支时序逻辑的不动点刻划。在此基础上他进一步提出了带有“until”算子的分支时序逻辑来表达“公平性”。他的这些工作与卡耐基梅隆大学Clarke教授、得克萨斯大学奥斯汀分校Emerson教授同时期的工作一起,为模型检测这个研究领域的创立和发展奠定了理论基础。模型检测已被应用于计算机硬件、软件、通信协议、安全认证协议等领域,取得了巨大的成功,成为分析、验证并发系统性质的最重要的技术,被Intel、IBM、微软等公司用于日常生产实践...
-

沈元壤(Yuen-Ron Shen)
物理学家。美国国籍。生于中国上海。1956年获台湾大学学士学位。1959年、1963年分别获美国史坦福大学、哈佛大学硕士、博士学位。1970年任美国伯克利加州大学物理系教授。美国国家科学院院士(1995)、美国艺术与科学院院士(1990),台湾“中央研究院”院士(1990)。沈元壤教授在非线性光学方面,对等离子体的光学非线性、感应散射理论、非线性光学的量子统计理论等方面做了开创性工作,开辟了液晶非线性光学研究领域。在激光光谱和分子物理方面,与李远哲合作,对多原子分子的红外多光子解离得到透彻的了解;与H.Walther小组合作,观察和分析了囚禁离子有序-无序跃迁,成为原子物理学近期的热点。在固体物理方面,发展了调制光谱方法,使测定固体能带更为精确。发明了一种倍频-和频方法用于研究表面和界面,开辟了表面科学的诸多新领域。1996年当选为中国科学院外籍院士。
-

保罗·斯潘诺斯(Pol D. Spanos)
美国国籍,应用力学家。1950年2月出生于希腊,1976年获美国加州理工学院应用力学博士学位。现任美国莱斯大学土木与环境工程系和机械与材料科学系L.B.Ryon工学讲座教授。他先后当选为美国国家工程院院士、美国艺术与科学院院士、欧洲科学院外籍院士、俄罗斯科学院外籍院士、欧洲艺术与科学院院士。他还受聘为我国教育部长江学者讲座教授、教育部-国家外国专家局“土木工程防灾减灾创新引智基地”国际学术大师。 保罗?斯潘诺斯的研究工作集中于结构随机动力学与工程可靠性。他的主要学术贡献包括:(1)系统研究和发展了非线性随机振动的统计等效线性化方法,他是国际上最早采用统计等效线性化方法解决复杂结构非线性随机振动问题的学者之一,他和Roberts教授合作出版的专著《RandomVibrationandStatisticalLinearization》,已成为该领域的经典学术著作;(2)系统发展了随机结构分析的正交展开理论,Spanos教授和他的学生一起提出了基于混沌多项式(PolynomialChaos)的正交展开理论,开创了随机结构分析的新途径,在国际上产生了广泛影响,近年来,PolynomialCha...
-

肖荫堂(Yum-Tong Siu)
-

彼得·史唐(Peter J.Stang)
-

约翰·罗杰·斯彼克曼(John Roger Speakman)
动物生理学家。1958年11月生于英国曼彻斯特市李镇,英国国籍。1984年获得英国斯特灵大学博士学位。现任中国科学院遗传与发育生物学研究所研究员,英国阿伯丁大学教授。2004年当选苏格兰爱丁堡皇家学会会员,2011年当选为欧洲科学院院士,2018年当选英国皇家学会会员。 约翰·罗杰·斯彼克曼教授重点研究遗传和环境因素对动物及人类能量代谢的影响。能量代谢是人和动物重要的表型,研究能量代谢调控机制对于生物地理学、保护生物学、演化生物学和动物对气候变化响应等领域都具有重要意义。他作为合作骨干完成了基于稳定同位素的双标水技术研发,并广泛应用于动物能量代谢的检测,将其发展成了检测自由生活动物能量代谢水平的金标准。他用该技术获得大量的数据,提出了动物持续能量消耗水平生理极限决定机制的新理论,认为动物的代谢率通常不受外在能量供应水平的限制,而受自身散热能力以及高热风险的影响,从能量消耗的全新角度阐释了环境变量(如气候变化)对动物死亡率的影响。他发现代谢率较高的小鼠寿命更长,证明低代谢率和寿命之间的正相关只是统计假象,一定程度上颠覆了衰老研究领域的主流理论。此外,约翰·斯彼克曼通过理论推导和数据分析,...
-

孙立成(Licheng Sun)
瑞典国籍,物理化学家。1962年8月生于黑龙江省东宁县。1990年获大连理工大学博士学位。现任瑞典皇家工学院分子器件讲席教授。2017年当选瑞典皇家工程院院士。 利用人工光合作用将太阳能和地球上最丰富的水资源及温室气体CO2转换为清洁燃料如氢气或甲醇等,是摆在世界各国面前的重大研究课题。其关键科学问题之一在于制备高效水氧化催化剂。孙立成在高效水氧化分子催化剂设计合成、氧-氧键形成机理、光解水制氢功能器件设计与制备等方面取得了重要的研究成果。他是全球高被引科学家,德国Wiley期刊ChemSusChem编委会主席,曾获瑞典皇家科学院沃尔玛克奖、瑞典化学会阿尔纽斯奖、国际先进材料协会智能能源技术奖等国际奖项,2017年获瑞典国家杰出教授基金。2013年作为四位杰出科学家之一受到瑞典国王接见。 从2000年开始,孙立成积极投入到与中国实质性的国际科技合作中。他在大连理工大学建立了人工光合作用研究中心,从海内外引进一批优秀科研人才,在太阳能燃料与太阳能电池前沿科学领域进行深入研究,取得一系列重要科研成果。研制出目前效率最高的水氧化分子催化剂,其催化效率可与天然光合作用水氧化中心相媲美,通过实验...
-

詹姆斯·弗雷泽·司徒塔特(James Fraser Stoddart)
男,英国国籍,化学家。1942年5月生于英国爱丁堡。1966年获得爱丁堡大学博士学位。现任美国西北大学教授。1994年当选英国皇家科学院院士,1999年当选德国自然科学院院士,2006年当选荷兰皇家艺术与科学院外籍院士,2012年当选美国人文与科学院院士,2014年当选美国国家科学院院士。2016年获得诺贝尔化学奖。2017年当选为中国科学院外籍院士。司徒塔特的研究领域主要为超分子化学和分子机器。他基于分子机械互锁结构创造性地发展出了一种全新的人工合成分子机器,有别于传统化学价键理论,该机械键概念为化学领域的进一步拓展做出了里程碑式的贡献。他与索维奇共同开拓的基于非共价键作用的模板合成法大大提高了机械互锁分子机器的合成效率。他合成出由热能驱动的分子机器原型—分子梭,以及可以对外部刺激做出响应的分子开关等。通过构筑能量棘轮,他巧妙地设计合成了可以对外做功的真正意义上的分子机器—分子泵。同时,司徒塔特将分子机器的概念拓展到了各种应用领域,比如基于分子尺寸的高密度存储器件等。此外,他不仅在分子级别上实现了如奥林匹克环、博罗米恩环等具有拓扑结构的复杂体系,还进一步将超分子化学与拓扑学进行有机结...
-

海维尔·里斯·托马斯(Hywel Rhys Thomas)
海维尔•里斯•托马斯(HywelRhysThomas),英国国籍,土木工程学家。1951年出生于英国威尔士。1980年获英国斯旺西大学博士学位。现任英国卡迪夫大学教授,环境岩土工程研究中心创始主任。不列颠帝国CBE勋章、英国女王年度奖和欧盟RegioStars奖获得者。2003年当选为英国皇家工程院院士,2012年当选为英国皇家学会会员、欧洲科院院士,2021年当选为中国科学院外籍院士。 托马斯教授长期致力于环境岩土工程科学研究与工程实践。他创建了非饱和岩土介质热量-水力-力学-化学-生物耦合作用理论,建立了多场耦合作用模型,是全球众多其他模型发展的基石;他揭示了液相和蒸汽相水分在岩土中受温度梯度驱使的运移规律,发现了膨润土微观和宏观结构水-力相互作用现象,揭示了煤岩吸附膨胀、骨架和裂隙相互作用及煤层渗透性演化的规律,奠定了环境岩土工程学科基础。同时,他提出和发展了多项环境岩土工程技术和方法:①提出了高放核废料地质处置库工程屏障长期服役性能和围岩适应性评价方法,应用于世界首个乏燃料地下存储库——芬兰翁卡洛乏燃料永久掩埋库的设计;②致力于地下煤床气化和煤层二氧...
-

苏布拉·苏雷什(Subra Suresh)
美国国籍,材料科学家。1956年5月生于印度孟买。1981年获美国麻省理工学院博士学位。2002年当选美国工程院院士,2004年当选美国艺术与科学院院士,2012年当选美国科学院院士,2013年当选美国医学院院士。 苏布拉•苏雷什在材料的疲劳与断裂、纳米力学、细胞力学等领域有许多创造性的重大贡献。他的代表性工作包括:发现非晶材料经由机械接触压力可在室温下析出纳米晶体,发展了用精确控制纳米尺度材料内部界面的方法来优化材料的强度、韧性及损伤容限,运用实验和计算手段确证了红血球纳米力学性能与相关人类疾病病理状态的内在联系,发现疟疾寄生虫所释放的RESA蛋白质可以改变被感染红血球的力学与流变性能,在各种脆性和延性材料中发现并确证了多个影响材料疲劳裂纹扩展的关键机制,发展了可用于优化复合材料、纳米材料、功能梯度材料等材料力学性能的多种实验和计算方法,发展了新的用于疾病诊断、治疗与药效评估的微流体试验平台。苏布拉·苏雷什自1980年代中期即开始和中国学者进行交流与合作,已与来自中国的合作者共同发表论文100多篇。自1993年首次访问沈阳中科院金属所开始,逐渐与中科院、浙江大学、西安交大等...
