邵中(关于邵中简述)
云帆沧海
精选回答
1、邵中,男,中国科大“大师讲席”教授。
2、1983年进入中国科学技术大学少年班,1988年毕业于计算机系,获计算机科学学士学位;1994年毕业于普林斯顿大学,获计算机科学博士学位。
3、1994年起在耶鲁大学计算机系任教,2003年起任耶鲁大学教授。
4、现任中科大-耶鲁高可信软件联合研究中心主任。
5、是学术界和工业界科研项目中广泛使用的SML/NJ函数式编程语言的编译器的主要设计和实现者之一,其中有影响的研究成果包括基于后续传递风格的编译方法等多项成果。
6、研究和开发了保类型的编译器基础构造FLINT,其中最显著的贡献是用高阶lambda演算对多种差异明显的源语言的类型系统进行编码,使得类型检查可以在编译的任何阶段进行。
蓝天白云 2023-12-27 11:29:46
相关推荐
适合发朋友圈的唯美说说短语
一、我嫉妒你身边每一个无关紧要的人,他们就那样轻而易举的见到,我朝思暮想的你。二、不要做廉价的自己,不要随意去付出,不要一厢情愿去迎合别人,圈子不同,不必强融!三、凡是离开你的,都不是你的,不管是人还是钱。做一...
展开详情如何更改图片上的文字 这个方法还是很简便的
用美图秀秀就可以更改图片上的文字,具体操作步骤如下:在电脑上下载并打开“美图秀秀”,点击“美化图片”。选择“打开一张图片”,打开需要修改的图片。点击“消除笔”,涂抹需要修改的文字。点击“应用”即可消除文字。打开...
展开详情神兽放假经典语录 神兽放假经典唯美语录
终于放寒假了,各路神兽欢聚一堂,势必闹个天翻地覆。“神兽”归笼!妈妈送孩子返校后哈哈大笑:他不开心我开心开心开心,在家三个月的神兽终于归笼了,期待俩个月后的蜕变!这周日是不是工作日我不知道,但是……我知道家里的...
展开详情打扮自己9大技巧 让你一天都美
妆前乳之前,用纸巾轻压全脸:清洁皮肤后,在涂抹妆前乳之前,用纸巾轻轻压于全脸。肌肤外多余的油脂会容易造成脱妆。切记不要使用吸收力过强的吸油面纸,适度地吸收油脂还是使用纸巾最恰当!别忘了检查容易出油的t字部位和鼻...
展开详情?怎么读 ?的拼音是什么
的拼音:mì和miàn。的笔画共12画。的部首为言。的解释:《集韻》眠見切,音麪。《類篇》誘言也。...
展开详情