共找到2條詞條名為邵中的結果 展開
- 中科大－耶魯高可信軟體聯合研究中心主任
- 浙江省人大常委會教科文衛委員會辦公室主任
邵中
中科大－耶魯高可信軟體聯合研究中心主任
邵中，男，中國科大“大師講席”教授。1983年進入中國科學技術大學少年班，1988年畢業於計算機系，獲計算機科學學士學位；1994年畢業於普林斯頓大學，獲計算機科學博士學位。1994年起至今在耶魯大學計算機系任教，2003年起任耶魯大學教授。現任中科大－耶魯高可信軟體聯合研究中心主任。是學術界和工業界科研項目中廣泛使用的SML/NJ函數式編程語言的編譯器的主要設計和實現者之一，其中有影響的研究成果包括基於後續傳遞風格的編譯方法等多項成果。研究和開發了保類型的編譯器基礎構造FLINT，其中最顯著的貢獻是用高階lambda演算對多種差異明顯的源語言的類型系統進行編碼，使得類型檢查可以在編譯的任何階段進行
近年來，研究重點集中在開發新的程序驗證理論和技術，目標是為開發經過驗證的大規模系統軟體構建一種實用的基礎平台。提出了領域專用語言加領域專用邏輯來驗證領域專門代碼並連接它們成為完整的經過驗證的軟體系統的思想和方法。已經開創性地設計了驗證操作系統若干部分所需的多種專用邏輯和連接各種證明的開放框架，完成了彙編代碼級的垃圾收集和存儲分配等庫函數、自修改代碼的引導程序、非搶佔式併發線程等實常式序的驗證，最近驗證了一個帶硬中斷和搶佔式併發的簡單操作系統。
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年美國國家科學基金青年學者獎
基本信息
- 出生日期
- 1968-08
- 職稱
- 教授
- 主要成就
- 美國國家科學基金青年學者獎