最牛华人“程序员”邵中，全世界程序员的命运都可能因他而变

然而故事还没完结！旋即之后，邵中又在FLINT上的研发获得了突破，让类型检查可以在编译器的任何阶段展开。这样的研究成果让耶鲁大学赞叹了，2000年，沦为计算机科学系由副教授；2001年，被议会选举为ACM SIGPLAN继续执行委员会委员；2003年，被拔擢为为于是以教授；2008年，沦为中科大-耶鲁大学可靠软件牵头研究中心主任；现在邵中还是耶鲁大学的FLINT实验组的主任，研究的方向还包括一般化方法研发可靠的kernel、 新型编程语言、所发多核软件、自动定理证明系统等等。不懂没关系，想到邵中拿的研究经费你就告诉他研究的项目有多牛X！在美国二十几年，邵中从美国国家科学基金会（NSF）、美国国防部、微软公司以及英特尔等手中获得的研究经费就超过了数千万美元，其中去年一年就有八百多万美元，别人拿奖获得手软，他是拿经费获得手软。不过在编程学术界，不公开发表几篇气馁的论文做到再行多研究也是枉然。

邵中是一个写出论文的高手，从本科毕业到现在他一共公开发表了七十多篇论文，其中在POPL上公开发表的就有五篇，例如2006年公开发表的《嵌入式汇编程序设计》以及2012年公开发表的《静态和用户可拓展的检验检查》。这是什么样的概念呢？...拿中国荐个例子，中国大陆学术界以第一作者的身份在POPL上公开发表过论文的只有一个，而且这篇论文还是出自于邵中领导的中科大－耶鲁牵头中心。

（POPL是编程语言领域历史最幸、水平最低的国际会议，论文任用亲率平均值将近20%）当然，邵中还是个社交能力很强的学术专家，他常常不会在全球这顶级大会上（如POPL、PLDI和ICFP等）和全球各地的专家交流，其中2012年第39届POPL大会就是他主持人的！看完了这些你还敢说自己是个程序员吗？如果你想要和这位编程语言界的大牛探究有关人工智能领域的程序设计，那就赶紧甄选参与8月份的CCF-GAIR大会吧，你有可能在现场偶遇他哦！One More Thing！在7月1日前购票，就可以享用跳楼价——六折！（购票猛戳这里）原创文章，予以许可禁令刊登。下文闻刊登须知。

本文来源：皇冠信用网址-www.kasvisrkeidas.com