南国彩票论坛 > 项目实战 > 正文

这个人就是耶鲁大学的终身正教授、FLINT实验室主

时间:2019-04-22 来源:未知 作者:卢本伟
本篇文章转载自互联网,如有侵权,联系站长卢本伟删除!

  最牛华人“程序员”邵中,全世界程序员的命运都可能因他而变 • • 2016-07-07 13:30 不管你是不是程序员,你都一定学过或者听过C、Java以及PHP这样的语言。没错,它们是最受程序员欢迎的编程语言。 但有一个人或许将改变这一格局,这个人就是耶鲁大学的终身正教授、FLINT实验室主任——邵中,他是编程语言学术界名声最旺的华人,计算机程序语言设计领域的国际权威。 不过,如果你认为邵中只是一个技艺超群的码农,那你就输了!更准确的说他是程序语言标准的制定者,其研发的SML/NJ已经成为了SML语言最流行的编译器。 邵中(右) 他和代码之间的渊源还要从小时候说起! 邵中是1968年出生的,小时候的他就展现出了超强的学习能力,读小学开始做中学的题,中学看大学的课本。 就是这样的节奏,让邵中在15岁的时候就从江苏常熟中学考入了中科大少年班,他学的是计算机科学专业。 中科大少年班 面对来自全国各地的天才少年们,邵中对自己的要求就更高了。大学几年他几乎把所有能看的程序语言类的书籍看了个遍,当你还只会写“Hello World”的时候,人家已经掌握了各种复杂程序的原理,于是他又成为了那一届少年班最优秀的毕业生,并且顺手拿了个中科大郭沫若学金。 把编程技术练到了极致后,邵忠觉得做一个普通的程序员太没意思了! 所以,1988年从中科大毕业之后,邵中又来到了美国普林斯顿大学留学,1991年获得了该校的计算机科学硕士学位,接着在1994年拿到了博士学位。 在普林斯顿大学期间,他跟着导师就在贝尔实验室计算机科学研究中心做项目,当时他在为SML语言(Standard ML)研发一个编译器。 没听过SML是什么的程序员,赶紧思过去。(前方高能,非程序员请系好安全带!) 做个小科普,程序语言其实可以分为三大类:第一种是命令式的语言,如C,C++,Java等;第二种是逻辑式的语言,如Prolog;而第三种就是本认为更符合人类思维的函数式语言,如约翰•麦卡锡(John McCarthy)发明的LISP和ML(SML是其中的一个分支)。 懂编程的朋友都知道,函数式语言比传统的编程语言更加高深,它是一种非冯•诺依曼式的程序设计语言,它的代码更简洁也更容易理解,而且适合多线程编程。 例如在人工智能领域,需要处理非常复杂的数据结构,函数式语言的优势就非常明显。 但是,这种语言也有一个非常致命的缺点,就是执行效率非常低,所以函数式语言基本上只活跃在学术界,很少有商业化的。 不过邵中还是没有放弃,他希望开发一款高效的编译器来解决这个问题。 博士毕业后,邵中来到了位于康涅狄格州纽黑文市的耶鲁大学,这位偏执的年轻人在担任学校计算机科学系的助理教授的同时,还在为那款编译器而奋斗着。 所以,除了每天学生之外,他经常到贝尔实验室计算机科学研究中心做一些有关SML/NJ(Standard ML of New Jersey)的设计。 虽然过程很坎坷,但最终邵中和其他几位研究人员还是成功研发出了SML语言最着名的编译器——SML/NJ,并且获得了美国国家科学基金青年学者。 这一发明让邵中的编译风格成为编程语言学术研究的典范,同时也奠定了其在编程语言界的地位,现在C++和Java什么的都开始对函数式编程提供专门语法支持。 然而故事还没有结束! 不久之后,邵中又在FLINT上的研发取得了突破,让类型检查可以在编译的任何阶段进行。 这样的研究让耶鲁大学折服了, 2000年,成为计算机科学系副教授; 2001年,被选举为ACM SIGPLAN执行委员会委员; 2003年,被提拔为为正教授; 2008年,成为中科大-耶鲁大学可信软件联合研究中心主任; 现在邵中还是耶鲁大学的FLINT实验组的主任,研究的方向包括形式化方法开发可信的kernel、 新型编程语言、并发多核软件、自动证明系统等等。 不懂没关系,看看邵中拿的研究经费你就知道他研究的项目有多牛X! 在美国二十几年,邵中从美国国家科学基金会(NSF)、美国、微软以及英特尔等手中拿到的研究经费就达到了数千万美元,其中去年一年就有八百多万美元,别人拿拿到手软,他是拿经费拿到手软。 不过在编程学术界,不发表几篇像样的论文做再多研究也是枉然。 邵中是一个写论文的好手,从本科毕业到现在他一表了七十多篇论文,其中在POPL上发表的就有五篇,例如2006年发表的《嵌入式汇编程序设计》以及2012年发表的《静态和用户可扩展的验证检查》。 这是什么样的概念呢?…拿中国举个例子,中国学术界以第一作者的身份在POPL上发表过论文的只有一个,而且这篇论文还是出自邵中领导的中科大-耶鲁联合中心。(POPL是编程语言领域历史最久、水平最高的国际会议,论文录用率平均不到20%) 当然,邵中还是个社交能力很强的学术专家,他经常会在全球这大会上(如POPL、PLDI和ICFP等)和全球各地的专家交流,其中2012年第39届POPL大会就是他主持的!

  

项目实战

  • 年轻人知道 未来30年孩子所面临的职业世界会是怎样的? 2015-09-14 21:21 在瞬息万变的时代里,优秀教师一定要有预见未来的能力。因为教
  • 这个人就是 最牛华人程序员邵中,全世界程序员的命运都可能因他而变 2016-07-07 13:30 不管你是不是程序员,你都一定学过或者听过C、J
  • 这个标准没 10.24程序员节?你懂1024吗? 2016-10-20 21:31 1024程序员节?你懂1024吗? 1024是2的十次方,二进制计数的基本计量单位之一。程序
  • 大部分孩子 2015年宁波海曙区计算机编程竞赛开始报名 2014-09-25 21:38 计算机编程竞赛具体安排如下: 初赛时间:2014年9月27日(星期六)上
  • 青少年科技 1982年9月9日,美国卡耐基梅隆大学的教授斯科特法尔曼(计算机科学教授)打出了人类历史上第一个网络表情符号:-)... 1.
精华推荐