-
周以真
鎖定
- 職 業
- 教育科研工作者
- 主要成就
-
2010年當選為美國藝術與科學院院士
2022年當選為美國國家發明家科學院院士
2024年當選為美國國家工程院院士
周以真人物經歷
1979年6月，周以真獲得麻省理工學院學士學位。
1983年6月，獲得麻省理工學院博士學位。
1983年—1985年，任南加利福尼亞大學計算機科學系助理教授。
1985年起，任教於卡內基梅隆大學。
1999年—2004年，任卡內基梅隆大學計算機科學學院學術副院長。
2004年—2007年，任美國卡內基梅隆大學計算機科學系主任。
2007年—2012年，任微軟-卡內基梅隆計算思維中心主任。
2013年—2017年，任微軟全球副總裁。
2017年起，任哥倫比亞大學計算機科學教授。
2017年—2021年，任哥倫比亞大學數據科學研究所所長。
周以真
周以真主要成就
周以真科研成就
- 科研綜述
周以真
- 專利成果
- 學術論著
專著名稱 | 出版時間 | 出版社 |
|---|---|---|
《Larch: Languages and Tools for Formal Specification》 | 1993年 | |
《Proceedings of the First International Workshop on Larch》 | 1993年 | 施普林格出版社 |
《Proceedings of FM'99: First World Congress on Formal Methods in the Development of Computing Systems》 | 1999年 | 施普林格出版社 |
《The Practice of Formal Methods》 | 2022年 | 劍橋大學出版社
[2]
|
- 承擔項目
項目名稱 | 起止時間 | 項目經費 | 項目來源 |
|---|---|---|---|
BD Hubs: NORTHEAST: The Northeast Big Data Innovation Hub | 2015年10月—2021年11月 | 213萬美元 | |
Efficient Formal Safety Analysis of Neural Networks | 2019年3月—2022年3月 | 15萬美元 | |
RAPID NSF COVID Information Commons | 2020年5月—2021年10月 | 20萬美元 | 美國國家科學基金會 |
Formal Specification of Trust Properties for AI Systems | 2020年7月—2022年6月 | 30萬美元 | |
CIC-E: COVID Information Commons Extension for Pandemic Recovery | 2021年10月—2025年9月 | 200萬美元 |
周以真人才培養
- 培養成果
- 講授課程
課程名稱 | 授課對象 | 開課時間 |
|---|---|---|
Advanced Topics in Formal Methods | 研究生 | 1990年春 |
Software Engineering | 本科生 | 1998年春 |
Security and Cryptography | 研究生 | 1997、1998、1999年秋 |
Methods of Software Development | 研究生 | 2000年秋 |
Principles of Programming | 本科生 | 2000、2001、2002年春 |
Analysis of Software Artifacts | 研究生 | 1995、1996年春，2001年秋 |
Software Security | 研究生 | 2004年春 |
Models of Software Systems | 研究生 | 2005、2006年秋 |
Privacy Research Seminar | 研究生 | 2011年春 |
Functional Programming | 本科生 | 2012年秋 |
Privacy-Preseeving Technologies | 研究生 |
周以真榮譽表彰
時間 | 榮譽表彰 |
|---|---|
1998年 | 美國計算機協會會士 |
2003年 | 電氣與電子工程師協會會士（IEEE Fellow） |
2007年 | |
2008年 | 賓夕法尼亞州傑出女兒（Distinguished Daughter of Pennsylvania） |
2010年 | 美國藝術與科學院院士 |
2014年 | 美國計算機協會傑出服務獎 |
2020年5月 | 林雪平大學榮譽技術博士 |
2022年 | 美國國家發明家科學院院士 |
2024年2月 |
周以真社會任職
時間 | 擔任職務 |
|---|---|
1984年6月 | 薩爾大學客座教授 |
1989年—1999年 | |
1992年—1999年 | |
1995年—1996年 | 《Proceedings of the IEEE》編委 |
1996年—1997年 | 卡內基梅隆大學校長遴選委員會成員 |
2000年 | 新加坡國立大學客座教授 |
2003年 | 中國台灣“中央研究院”外聘評審委員會成員 |
2004年—2005年 | 美國國家科學院計算機科學和電信委員會委員 |
2005年—2007年 | 香港中文大學顧問委員會成員 |
2005年—2011年 | 《Journal of Information Science and Engineering》編委 |
2006年—2010年 | 《IEEE Transactions on Dependable and Secure Computing》編委 |
2007年—2010年 | 美國國家科學基金會計算與信息科學工程部助理部長 |
2013年—2022年 | 《Foundations and Trends in Privacy and Security》共同主編 |
2017年—2020年 | 達摩院技術顧問委員會成員 |
2018年—2021年 | 密歇根數據科學研究所外聘顧問 |
2019年 | 卡內基梅隆大學計算機科學系兼職教授 |
2021年 | 《ACM/IMS Transactions on Data Science》高級副主編 |
2021年 | 《Harvard Data Science Review》專欄聯合編輯 |
2021年 | 美國藝術與科學院董事會成員 |
2023年 |
周以真人物評價
周以真
在計算機科學領域，周以真是以倡導計算思維而聞名於世。（《中國科學報》評）
[4]
周以真是當今世界上最有創新精神、最具原創力的計算機科學家之一。她在科研、教學和行政上均作出了重大貢獻（Jeannette Wing is one of the most original and creative scientists in computing today. She has made superb contributions here as a researcher, teacher and administrator.）。（時任卡內基梅隆大學校長Jared L Cohon評）
[5]
周以真是計算機科學研究和教育領域的先驅人物（Jeannette Wing is a pioneering figure in the world of computer science research and education.）。（時任哥倫比亞大學校長李·卡羅爾·布林格評）
[7]
- 參考資料
-
- 1. Jeannette M Wing ．哥倫比亞大學[引用日期2024-02-11]
- 2. Jeannette M. Wing簡歷 ．哥倫比亞大學[引用日期2024-02-11]
- 3. Jeannette Wing ．哥倫比亞大學[引用日期2024-02-11]
- 4. 記女科學家周以真：倡導計算思維聞名於世 ．科學網[引用日期2024-02-11]
- 5. Carnegie Mellon Professor Jeannette Wing Chosen to Head Computer & Information Science & Engineering Directorate at NSF ．美國國家科學基金會[引用日期2024-02-12]
- 6. National Academy of Engineering Elects 114 Members and 21 International Members ．美國國家工程院[引用日期2024-02-12]
- 7. President Bollinger Names Microsoft Research Head Jeannette Wing to Lead Columbia’s Data Science Institute ．哥倫比亞大學[引用日期2024-02-12]
