邵 中(83少/8311)

发布时间:2020-09-12浏览次数:94

 

1988年毕业于中国科学技术大学计算机系,1994年获普林斯顿大学计算机科学博士学位。1994年起至今在耶鲁大学计算机系任教,2003年起任耶鲁大学教授。现任中科大-耶鲁高可信软件联合研究中心主任、中国科大大师讲席教授。邵中教授是计算机程序语言设计和实现领域国际权威。他曾任ACM SIGPLAN 执行委员会委员,并担任程序设计语言领域多种一流国际会议和期刊的评审委员会委员和编委。