近日，美国计算机协会（Association for Computing Machinery，ACM）公布了2020年杰出成就奖（ACM Fellow）名单，有三位华人学者荣膺此项殊荣。其中，来自美国华盛顿大学的俞小凡教授和来自美国南加州大学的翁家明教授分别凭借在程序分析和计算机系统领域的卓越贡献成为本届ACM Fellow。
俞小凡是计算机科学领域的杰出教授，是程序分析领域杰出的学者之一，他的主要贡献在于推进程序分析中的静态方法，尤其是基于程序逻辑的证明。他已经在程序分析方面发表了超过200篇论文。
翁家明担任南加州大学工程学院副院长，是一个国际著名的计算机系统专家。他的主要研究方向包括新的微操作系统结构和应用程序发掘技术，和内存系统和集群计算的性能优化。
汹涌的科技发展，使得全球计算机界的科学家们正在为未来的世界不断研究和探索，俞小凡和翁家明的成就是华人计算机科学家的骄傲。未来他们还将持续为计算机技术和发展作出贡献。
