今年8月,程序员雷锋网将在深圳举办盛况空前的最牛“全球人工智能与机器人峰会”(CCF-GAIR),届时雷锋网将发布“人工智能&机器人Top25创新企业榜”榜单。华人目前,邵中我们正在逐一拜访人工智能、全世机器人领域的界程家居风水讲座 绝世高手之姿相关公司,从中筛选最终入选榜单的运都因公司名单。如果你也想加入我们的程序员榜单之中,请联系:2020@leiphone.com。最牛
不管你是华人不是程序员,你都一定学过或者听过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大会就是他主持的!
看完这些你还敢说自己是个程序员吗?
如果你想和这位编程语言界的大牛探讨有关人工智能领域的程序设计,那就赶快报名参加8月份的CCF-GAIR大会吧,你可能在现场偶遇他哦!
One More Thing!在7月1日前购票,就可以享受跳楼价——六折!(购票猛戳这里)