某机构科学家近期荣誉与奖项
研究人员因其对科学界的贡献而获得荣誉。
作者：Staff writer | 2023年2月22日 | 阅读时间8分钟
林明当选美国国家发明家科学院院士
林明，某机构学者、马里兰大学计算机科学杰出大学教授，当选美国国家发明家科学院院士。
林明于2020年作为学者加入某机构时尚部门，因其在虚拟现实、计算机图形学和机器人技术方面的贡献获得认可。在某机构，林明研究从轮廓图像估计人体3D类人测量值等课题。
美国国家发明家科学院成立于2009年，“旨在表彰和鼓励拥有美国专利的发明者，提高学术技术和创新的可见度，鼓励知识产权披露，教育和指导创新学生，并让公众更广泛地了解其成员的发明如何造福社会”。院士计划“旨在表彰那些在创造或推动杰出发明方面展现出丰富创新精神，并对生活质量、经济发展和社会福利产生切实影响的学术发明者”。
洪明义获得IEEE信号处理学会两项大奖
某机构学者洪明义近期两次获得电气与电子工程师协会信号处理学会的表彰。洪明义同时获得了皮埃尔-西蒙·拉普拉斯早期职业技术成就奖和最佳论文奖，获奖论文为《学习优化：训练深度神经网络进行干扰管理》。
洪明义于去年六月加入某机构云服务深度学习团队，因“对信号处理中的非凸、分布式和基于学习的优化做出的贡献”获得技术成就奖。该奖项表彰那些“通过出版物、专利或对领域公认的影响，证明在学会范围内的技术领域理论和/或实践做出重大技术贡献”的个人。
最佳论文奖表彰“在IEEE通信学会感兴趣和范围内的领域发表杰出技术论文”的作者。洪明义的论文与他共同作者发表于2018年10月的《IEEE信号处理汇刊》。该论文解决了优化算法固有的复杂性以及由此产生的“理论设计/分析与实时处理之间的严重差距”。作者观察到，当时在真实系统中实现无线资源管理的优化算法面临“许多严重障碍，特别是这些算法带来的高计算成本一直是最具挑战性的问题之一”。作者提出了“首个基于深度学习的实时资源管理方案，用于干扰受限的无线网络，该方案连接了机器学习和无线资源分配这两个看似不相关的领域”。在某机构，洪明义专注于优化算法设计与分析，并将其应用于分布式机器学习和强化学习。
迈克·希克斯当选ACM会士
迈克·希克斯，某机构云服务自动推理小组的高级首席应用科学家，因“对编程语言设计和实现、程序分析和软件安全的贡献”被命名为美国计算机协会会士。
希克斯于去年一月加入自动推理小组，共同领导Cedar授权策略语言的开发，该语言是某机构2022年re:Invent大会上发布的Verified Permissions服务的一部分。美国计算机协会会士计划“表彰在计算和信息技术的杰出成就以及对美国计算机协会和更大计算社区的杰出服务方面排名前1%的成员”。加入某机构之前，希克斯在马里兰大学担任计算机科学教授20年，共同指导编程语言实验室并担任马里兰网络安全中心主任。
让-巴蒂斯特·特里斯坦获得ACM SIGPLAN编程语言软件奖
让-巴蒂斯特·特里斯坦，某机构自动推理小组的首席应用科学家，获得2022年美国计算机协会编程语言特别兴趣组编程语言软件奖。该奖项在波士顿举行的ACM编程语言原理研讨会上颁发。
该奖项“表彰对编程语言研究、实现和工具产生重大影响的软件系统的开发”。特里斯坦及其同事因其在CompCert上的工作而获奖，CompCert是“一个针对几乎全部C语言的高保证编译器”。编译器是将代码从源编程语言翻译成另一种语言的程序。在此过程中，错误可能导致插入不正确代码，这种现象称为误编译。CompCert“提出了一种激进的、基于数学的解决方案来解决误编译问题：对编译器本身进行形式化的、工具辅助的验证。通过将程序证明技术应用于编译器的源代码，我们可以以数学确定性证明编译器生成的可执行代码的行为完全符合源C程序语义的规范，从而排除所有误编译风险”。获奖引文指出CompCert“在现实世界中用于应急发电机、飞行控制和导航算法的安全关键控制软件，用户包括某机构。它仍然是持续研究的重要共享基础设施”。特里斯坦于2022年9月加入某机构，拥有巴黎高等师范学院计算机科学硕士学位和巴黎大学计算机科学博士学位。
鲁希·萨里卡亚被任命为IEEE信号处理学会杰出行业演讲者
鲁希·萨里卡亚，Alexa AI应用科学总监，被电气与电子工程师协会信号处理学会任命为杰出行业演讲者。该计划识别“在信号处理领域具有工业应用背景、精通行业当前问题/活动的公认专家”。萨里卡亚于2020年被任命为IEEE会士，2016年加入某机构，领导Alexa AI部门的智能决策团队。他的团队专注于通过使服务能够通过自学习改进，让客户与Alexa进行更自然、更流畅的交互。
热拉尔·梅迪奥尼当选美国国家工程院院士
热拉尔·梅迪奥尼，某机构云服务应用副总裁兼杰出科学家，近期当选美国国家工程院院士，“因其对计算机视觉及其面向消费者的应用做出的贡献”。当选美国国家工程院院士是授予工程师的最高专业荣誉之一。该学院“表彰那些在工程研究、实践或教育方面做出杰出贡献的人”。梅迪奥尼也是南加州大学名誉教授，去年作为学术研究员当选美国国家发明家科学院院士。他于2014年加入某机构，领导为某机构Go提供动力的技术开发，以及最近的某机构One服务。
勒内·维达尔当选ACM会士
勒内·维达尔，某机构学者、宾夕法尼亚大学电气与系统工程及放射学Rachleff大学教授，被美国计算机协会命名为会士，“因其在计算机视觉中的子空间聚类和运动分割方面的贡献”。聚类“涉及将数据分成多个组，而不必监督这些组的含义”，维达尔去年在接受Edward J. McCluskey技术成就奖时向某机构科学解释道。子空间聚类通过对这些组的结构做出假设来发现高维数据中的聚类。维达尔于2020年7月作为学者加入某机构，专注于在视觉搜索和增强现实团队中改善某机构的移动购物体验。
标签： 奖项与荣誉，学术界在某机构FINISHED
