邵中

邵中,男，1968年8月生，耶鲁大学教授，中国科大“大师讲席”教授。1983年进入中国科学技术大学少年班，1988年毕业于计算机系，获计算机科学学士学位；1994年毕业于普林斯顿大学，获计算机科学博士学位。1994年起至今在耶鲁大学计算机系任教，2003年起任耶鲁大学教授。现任中科大－耶鲁高可信软件联合研究中心主任。