自动化推理
某机构科学家Mike Hicks和René Vidal获荣誉
Hicks获得2022年ACM SIGPLAN杰出服务奖，以表彰其职业生涯贡献；Vidal获得IEEE信号处理杂志最佳论文奖。
作者：Staff writer，2022年7月15日，阅读时长3分钟
两位某机构科学家近期获得奖项，以表彰他们在各自研究领域的长期贡献。Mike Hicks（高级首席科学家）获得计算机协会（ACM）编程语言特别兴趣组（SIGPLAN）杰出服务奖，该奖项表彰其对编程语言社区的杰出服务贡献。
电气与电子工程师协会（IEEE）将信号处理杂志最佳论文奖授予René Vidal。Vidal是某机构学者，同时担任某机构约翰斯·霍普金斯大学生物医学工程Herschel Seder教授及数据科学数学研究所所长。
SIGPLAN杰出服务奖
SIGPLAN杰出服务奖表彰Hicks对该组织的长期贡献。2015年至2018年间，他担任SIGPLAN主席，扩大了SIGPLAN对编程语言指导研讨会的支持，并创建了《ACM编程语言汇刊》的开放获取机制。
得益于Hicks的工作，在主要SIGPLAN会议上选定的研究论文在发表后可免费且永久访问。
“获得这个奖项对我意义重大。之前的获奖者为发展和壮大SIGPLAN社区做出了巨大贡献，我很荣幸有机会尽自己的一份力，如今能站在他们中间。”Hicks表示，“随着计算不断扩展到日常生活的更多领域，我非常乐观地认为，与SIGPLAN方向一致的计算机科学家将产生重要而积极的影响。”
“许多人在我的职业生涯中直接或间接地帮助过我，能够回馈这份帮助感觉很好。”Hicks说，“看到年轻研究人员和学生的活力与创造力，我感到备受鼓舞，也很高兴能帮助他们发展才能。同时，我很高兴看到他们接受服务和社区建设，为SIGPLAN的健康承担责任，并保持社区的强大和包容。”
在2022年1月休假全职加入某机构之前，Hicks在马里兰大学担任计算机科学教授20年。在那里，他共同指导编程语言实验室，并担任马里兰网络安全中心主任。
Hicks的研究侧重于使用编程语言和分析技术来提高软件的安全性、可靠性和可用性。他还开始探索用于量子计算的编程语言。
在某机构，Hicks就职于某机构云服务（AWS）身份识别部门的自动化推理组。他和团队开发的自动化推理工具有助于提高关键AWS服务的安全基准，并帮助AWS客户为其应用程序实现同样的保障。
最佳论文奖
《IEEE信号处理杂志》是一本发表信号处理进展的科学期刊，信号处理是电气工程的一个分支，用于建模和分析数据。最佳论文奖授予在十年前或更早发表于该杂志的“具有特殊价值和广泛兴趣”的论文作者。
Vidal的获奖论文《子空间聚类：运动分割与人脸聚类中的应用》发表于2011年，从理论和实践两方面探讨了不同子空间聚类方法的优缺点。
“我对这一认可感到谦卑。”Vidal说，他还在今年早些时候获得了Edward J. McCluskey技术成就奖。“我的目标是让更广泛的社区能够理解多种子空间聚类方法，提供将不同方法相互关联的见解，以及一种标准化的比较方法。”
Vidal解释说，聚类是机器学习的一个领域，涉及“在没有必要监督这些分组含义的情况下”将数据分成多个组。聚类对于高维数据集（如医学影像）非常有用，因为很难为大量特征分配标签。子空间聚类通过假设不同组的结构来在这些数据集中找到聚类。
研究领域
自动化推理 | 机器学习
标签
奖项与荣誉 | 某机构卡内基梅隆大学 | 某机构学术计划FINISHED
