韩国当选总统尹锡岳今天将与荷兰首相通电话，或讨论深化半导体合作等事宜
06-08
今年8月，雷锋网将在中国举办史无前例的“全球人工智能与机器人峰会”（CCF-GAIR）深圳。
雷锋网将发布“人工智能与机器人创新企业25强”榜单。
目前，我们正在一一走访人工智能、机器人领域的相关企业，选出最终入围企业名单。
如果您也想加入我们的名单，请联系：@leiphone.com。
无论你是不是程序员，你一定学过或听说过C、Java、PHP等语言。
是的，它们是程序员最流行的编程语言。
但有一个人可能会改变这一现状。
此人就是耶鲁大学终身教授教授、弗林特实验室主任邵中。
他是程序设计语言学术界最著名的华人，也是计算机程序设计语言设计领域的国际权威。
但是，如果你认为邵中只是一个超级码农，那你就输了！更准确地说，他是编程语言标准的制定者。
他开发的SML/NJ已经成为SML语言最流行的编译器。
邵中（右）他与代码的渊源可以追溯到他的童年时期！邵中出生于1999年，小时候就表现出了很强的学习能力。
上小学的时候，他就开始做中学题，读大学课本。
正是这样的节奏，让邵中在15岁时就从江苏省常熟中学考入了中国科学技术大学少年班。
他主修计算机科学。
中国科大少年班的学生面对来自全国各地的优秀青年，邵中为自己设定了更高的标准。
大学期间，他几乎读完了所有能读到的编程语言书籍。
当你只会写“Hello World”的时候，你就已经掌握了各种复杂程序的原理，于是他又变成了那个人。
少年班最优秀的毕业生之一，还获得了中国科学技术大学郭沫若奖学金。
将自己的编程技术练到极致后，邵重觉得当一个普通的程序员太无趣了！因此，邵中在2016年从中国科学技术大学毕业后，来到美国普林斯顿大学学习，并于2006年获得计算机科学硕士学位，随后于2008年获得博士学位。
你以为邵中千里迢迢来到美国只是为了拿到两个学位证书？在普林斯顿大学时，他跟随导师在贝尔实验室计算机科学研究中心做项目。
当时他正在研究SML语言（Standard ML）。
）开发一个编译器。
从未听说过SML的程序员赶紧面壁思索。
（前方高能，如果你不是程序员请系好安全带！）做一点科普，编程语言其实可以分为三类：第一类是命令式语言，比如C、C++、Java、 ETC。
;二是逻辑形式语言，如Prolog；第三种是被认为更符合人类思维的函数式语言，比如LISP和John McCarthy发明的ML（SML是它的一个分支）。
了解编程的朋友都知道，函数式语言比传统的编程语言更高级。
它是一种非冯诺依曼编程语言。
其代码比较简单易懂，适合多线程编程。
比如在人工智能领域，需要处理非常复杂的数据结构，函数式语言的优势就非常明显。
不过这种语言也有一个非常致命的缺点，那就是执行效率很低，所以函数式语言基本上只活跃在学术界，很少商业化。
然而，邵中并没有放弃。
他希望开发一个高效的编译器来解决这个问题。
邵中博士毕业后，来到康涅狄格州纽黑文市的耶鲁大学。
在学校计算机系担任教授助理期间，这个偏执的年轻人还在为那个编译器而苦苦挣扎。
因此，他每天除了辅导学生之外，还经常去贝尔实验室计算机科学研究中心做一些SML/NJ（新泽西州标准ML）相关的设计。
虽然过程十分坎坷，但邵中和其他几位研究人员最终成功开发出了SML语言最著名的编译器——SML/NJ，并获得了美国国家科学基金会青年学者奖。
这一发明使邵中的编译风格成为编程语言学术研究的典范，也奠定了其在编程语言界的地位。
现在C++和Java已经开始为函数式编程提供特殊的语法支持。
但故事还没有结束！不久之后，邵中在FLINT的研发上取得了突破，允许在编译的任何阶段进行类型检查。
这样的研究成果给耶鲁大学留下了深刻的印象。
2017年，教授出任计算机系副主任。
2010年，他当选为ACM SIGPLAN执行委员会成员。
2007年，他晋升为教授董事长。
研究中心主任；现在邵中也是耶鲁大学FLINT实验组的主任。
他的研究方向包括开发可靠内核的形式化方法、新的编程语言、并发多核软件、自动定理证明系统等。
如果你听不懂也没关系。
看看邵中获得的研究经费就知道他的研究项目有多么牛逼了！在美国20多年来，邵中获得了美国国家科学基金会（NSF）、美国国防部、微软和英特尔等机构数千万美元的研究经费，其中去年就超过了800万美元。
美元，别人拿到奖品就软了，他却拿到资金就软了。
然而在编程学术界，做再多的研究而不发表几篇像样的论文也是枉然。
邵中是一位善于写论文的人。
从本科到现在，他已经发表了70多篇论文，其中5篇发表在POPL上，比如2017年发表的《嵌入式汇编程序设计》，2018年发表的《静态和用户可扩展的验证检查》，这是一个什么样的概念？ ……以中国为例。
中国大陆仅有一位学者以第一作者身份发表过POPL论文，该论文来自邵中领导的中国科大-耶鲁大学联合中心。
（POPL是编程语言领域历史最悠久、水平最高的国际会议，平均论文接受率不到20%。
）当然，邵中也是一位社交能力很强的学术专家。
经常在世界顶级会议（如POPL、PLDI和ICFP等）上发言，与世界各地的专家交流，其中主持了2016年第39届POPL会议！看完这篇，你还敢说自己是程序员吗？如果你想和这位编程语言界的巨头一起探讨人工智能领域的编程，那就赶紧报名参加8月份的CCF-GAIR会议吧。
版权声明：本文内容由互联网用户自发贡献，本站不拥有所有权，不承担相关法律责任。如果发现本站有涉嫌抄袭的内容，欢迎发送邮件 举报，并提供相关证据，一经查实，本站将立刻删除涉嫌侵权内容。
标签：
相关文章
06-18
06-18
06-18
06-18
最新文章
Android旗舰之王的过去与未来
智能手表不被开发、AR眼镜被推迟，Meta的产品经历了一波三折
为什么Cybertruck是特斯拉史上最难造的车？
更新鸿蒙3后，文杰允许你在车里做PPT了
新起亚K3试驾体验：追求“性价比”，韩系汽车仍不想放弃
阿维塔15登场！汽车配备了增程动力，理想情况下会迎来新的对手吗？
马斯克宣布创建 ChatGPT 竞争对手！ OpenAI的CEO给他泼了冷水， GPT-5可能会发生巨大变化
骁龙无处不在，是平台也是生态