邵中，全球领先的Web3.0安全机构CertiK的联合创始人，同时也是耶鲁大学计算机系教授。

1983年，进入中国科学技术大学少年班。

1988年，毕业于中国科学技术大学计算机系，获计算机科学学士学位。

1994年，毕业于普林斯顿大学，获计算机科学博士学位。

1994年起，在耶鲁大学计算机系任教。

2003年，任耶鲁大学计算机系教授。

兼任中国科大客座教授、清华大学姚期智小组讲席教授, 以及中华全国青联第十届委员会常务委员。

成为中国科大－耶鲁大学可信软件联合研究中心主任。

任ACM SIGPLAN 执行委员会委员，并担任程序设计语言领域多种国际会议和期刊的评审委员会委员和编委。

2016年11月，其领导的耶鲁大学研究团队推出了 CertiKOS，这是世界上第一个在多核处理器上运行并可防御网络攻击的操作系统。

2018年12月，任命为 Thomas L. Kempner 计算机科学教授，主要研究编程语言、编译器、形式化验证和操作系统。

2018年，邵中教授与哥伦比亚大学计算机系顾荣辉教授共同成立CertiK。

近年来，研究重点集中在开发新的程序验证理论和技术，目标是为开发经过验证的大规模系统软件构建一种实用的基础平台。提出了领域专用语言加领域专用逻辑来验证领域专门代码并连接它们成为完整的经过验证的软件系统的思想和方法。已经开创性地设计了验证操作系统若干部分所需的多种专用逻辑和连接各种证明的开放框架，完成了汇编代码级的垃圾收集和存储分配等库函数、自修改代码的引导程序、非抢占式并发线程等实例程序的验证，最近验证了一个带硬中断和抢占式并发的简单操作系统。

1．2009年起，担任ACMSIGPLAN-SIGACTSymposiumonPrinciplesofProgrammingLanguages(POPL)指导委员会主席

2．担任第36届ACMSIGPLAN-SIGACTSymposiumonPrinciplesofProgrammingLanguages(POPL’09)大会主席

3．担任第5届AsianSymposiumonProgrammingLanguagesandSystems(APLAS’07)大会程序主席

4．各种国际学术会议和学术讨论会的程序委员会委员，包括：SSV’09，POPL’08，SSV’08，TASE’07，TFP’07，CC’07，APLAS’06，ATVA’06，TFP’06，POPL’05，ICFP’03，APLAS’03，PLDI’99，TIC’98，POPL’965．各种学术杂志的编委，包括：JournalofFunctionalProgramming(2001–)，JournalofComputingScienceandEngineering(2007–)，JournalofComputerScienceandTechnology(2006–)6.2001–2005，ACMSIGPLAN执行委员会学术委员（MembersatLarge）

高可信软件、程序设计语言及编译、操作系统

1．1988年中国科学技术大学郭沫若奖学金

2．1995－1998年美国国家科学基金青年学者奖

3. 2015年，获得美国国家科学基金会计算探险奖，深度规范科学。

4. 2017年，成为康涅狄格州科学与工程院院士

5. 2022年，任ACM SIGPLAN年度编程语言会议外部评审委员会成员 （PLDI 2022）

2017年7月，邵中受邀于CCF-GAIR 2017大会发表主题演讲，阐述了“反黑客攻击”操作系统CertiKOS背后的理念，并表示操作系统发展拐点已到。

2018年3月，邵中在《雷锋网》的报道中表示，一旦所有的区块链的代码在上链前全部被形式化的数学证明验证后，开发者和用户们就无须再为区块链上的系统遭受黑客攻击而担心，区块链的安全性问题能够真正得到解决。