信息来源于: 

The Computer Laboratory is the University of Cambridge's Computer Science department.

Larry Paulson is made a Fellow of the ACM(2008)

Larry Paulson has been made a Fellow of the ACM for his contributions to theorem provers and verification techniques.

The ACM Fellows Program was established in 1993 to recognize and honour outstanding ACM members for their achievements in computer science and information technology and for their significant contributions to the mission of the ACM. The ACM Fellows serve as distinguished colleagues to whom the ACM and its members look for guidance and leadership as the world of information technology evolves.

Larry is one of 44 distinguished computer scientists who will be inducted as Fellows of the ACM this year. The complete list can be found at http://fellows.acm.org/homepage.cfm.

His research concerns mechanical theorem proving and its applications:

• continued development of the interactive theorem prover Isabelle
• applying automated theorem provers to verification problems
• applying set theory to specification and verification
• mechanizing selected areas of mathematics
• MetiTarski, an automatic prover for the elementary functions

转载本文请联系原作者获取授权，同时请注明本文来自黄富强科学网博客。
链接地址：https://blog.sciencenet.cn/blog-89075-217268.html

上一篇：依赖型程序设计方法探索
下一篇：Do We Need a New Internet?