词条 周以真

周以真

周以真(英文名Jeannette M. Wing,),美国计算机科学家。卡内基梅隆大学教授。美国国家自然基金会计算与信息科学工程部助理部长。ACM和IEEE会士。

她的主要研究领域是形式化方法、可信计算、分布式系统、编程语言等。1993年她与图灵奖得主芭芭拉·利斯科夫合作,提出了著名的Liskov代换原则,是面向对象基本原则之一。

1979年6月在麻省理工学院获得学士和硕士学位,导师中有图灵奖得主Ronald Rivest。1983年获得该校的博士学位。

1983—1985年,在南加州大学任助理教授。1985年起,任教于卡内基梅隆大学。2004—2007年间,曾担任该校计算机系主任。

2006年3月,在美国计算机权威期刊《Communications of the ACM》杂志上给出,并定义的计算思维(Computational Thinking)。 认为:计算思维是运用计算机科学的基础概念进行问题求解、系统设计、以及人类行为理解等涵盖计算机科学之广度的一系列思维活动。

周以真简介资料
1956 年
John Guttag
周以真相关文献
广东阳春通真岩周敦颐留题石刻
广东阳春通真岩周敦颐留题石刻,  
查看全文
周――周姓悠久历史 文王以国为氏
周――周姓悠久历史文王以国为氏,曾经统治中国达874年之久的周文王、周武王这一家人,究竟是不是现在姓周的最早
查看全文
北周老臣尉迟迥之乱为何最终以失败告终?
北周老臣尉迟迥之乱为何最终以失败告终?,公元580年北周皇帝离世之后,尉迟迥和隋文帝杨坚为了谋权而展开斗争,史称尉迟
查看全文
周以真
担任学术职务周以真教授曾担任卡内基—梅隆大学计算机学院院长、美国国家科学院计算机科学与通讯部门主席、美国国防部高级研究计划署(DARPA)信息科学与技术委员会、美国国家科学基金科学顾问委员会以及Sloan研究基金程序委员会的成员。2007年她出任美国国家科学基金会(NSF)计算机与信息科学与工程部(CISE)副部长,负责管理NSF在信息科学和计算机研究领域的基金。CISE每年的预算高达5.27亿美元,占整个美国联邦政府对计算机科学研究资助经费的86%。评价卡内基梅隆大学的校长JaredLCohon评价说:“周以真是当今世界上最有创新精神、最具原创力的计算机科学家之一。她在科研、教学和行政上均作出了重大贡献。NSF不可能找到一个比周以真更好的人选。”微软同样认为周以真的工作经验和文凭“无可挑剔”。主要著作J.M.Wing,J.C.P.Woodcock,andJ.Davies(eds.),Pr
查看全文
周以悌
生平早年为经略使、右威卫将军。依附宗楚客。景龙二年(708年),西突厥首领乌质勒之子娑葛与其父的部将阿史那阙啜忠节不和,双方时有冲突,阙啜忠节由于兵少,渐不能支。安西都护郭元振请朝廷命忠节入朝宿卫,移其部落于瓜、沙等州安置。阙啜率部落行至播仙镇(今罗布泊南)时,遇到周以悌,周以悌劝他不要入朝,贿赂宰相宗楚客、纪处讷,联合安西军与吐蕃军共击娑葛,既德报仇,又可以保存部落首领职权,胜于入朝受制于人。阙啜忠节听从周以悌的建议,遣使厚贿宗楚客、纪处讷,请求唐廷出兵攻打娑葛。郭元振上书请斩宗楚客,楚客诬元振隐蓄异志,唐中宗下诏,召回郭元振,下令周以悌接替郭元振任安西都护,并且任命阿史那献为十姓可汗。郭元振不敢行,以其子郭鸿携带奏折从小路赴京申述。周以悌被流放至白州(治今广西博白)。郭元振复任安西都护。延和元年(712年)六月,幽州都督孙俭率左骁卫将军李楷洛、左威卫将军周以悌等,发兵二万余人,分为三军
查看全文
周以真相关标签
生年不详
卡内基美隆大学教师
女性科学家
女性计算机科学家
IEEE Fellow
麻省理工学院校友
美国计算机科学家
在世人物
信息技术科学家
信息技术科学家
家族谱大览
2.冈邑月峰周氏宗谱, 2, 卷1: 存疑宗系 志亮公1-5世 5世以富公起, 1914
原书: [出版地不详] : 爱莲堂, 民国3[1914]. 10册 : 插图, 世系表. 收藏者 : 太原市寻源姓氏文化研究中心. 编谱人员 : 周维絷,字锡侯 ; 周维明,字润珊 ; 周宏清,字润珊 ; 周维藩,字介人. 本宗祖 : (明) 周鼎三. 由江右饶州府迁居黄冈. 生子三 : 周成(居邑东柳树河,为本谱之祖) ; 周贵(迁大冶) ; 周亮(居本邑古道乡周家堡). 月峰始迁祖(一世) : (明) 周志亮. 成公后裔. 由邑东柳树河迁居月山,渐次居于月山之下,即今之周氏河也. 志亮公下派祖(6世) : 周宝(老一甲) ; 周琳(老二甲). 老一甲宝公支下房祖(9世) : 周一德 ; 周一成 ; 周一信. 老二甲琳公支下房祖(9世) : 周一品,字相府 ; 周一大 ; 周瑞明,字以宁(一甲) ; 周一廉,字以清 ; 周一章,字以真(三甲). 一廉公下各甲房祖(10世) : 周之礼,字乐三(二甲) ; 周之鼎,字雨卜(四甲) ; 周之焕,字甲章(六甲) ; 周之干(十甲). 派语 : 大在才华国 宏维德合天 正家恩义重 立位事功全. 散居地 : 湖北省黄冈县等地. 书名据书衣题, 及书名页题编目. 版心题 : 周氏宗谱 目录题 : 月峰周氏宗谱
浏览:100
42.周氏宗谱.万一万二万三万五支系, 42, 万五 宗九 以奇 思玉思敬 曰米之子 20世祚英, 1368起
收藏者: 浙江省金华市金华成蹊信息发展有限公司 为能实时提供网络用户搜寻, 此书谨有简略讯息, 谱书影像内容未经审阅. 如有错误, 请透过「意见反馈」反应.
浏览:100
33.周氏宗谱.万一万二万三万五支系, 33, 万二 习学 三策之子 10世四真, 1368起
收藏者: 浙江省金华市金华成蹊信息发展有限公司 为能实时提供网络用户搜寻, 此书谨有简略讯息, 谱书影像内容未经审阅. 如有错误, 请透过「意见反馈」反应.
浏览:100
真宝李氏世谱 :周村宗派
1850年发行, 1300-1850 韩国釜山仁济大学中央图书馆 真宝李氏世谱 卷 2,始祖李硕,周村宗派 9世希颜的子孙录
浏览:0
真宝李氏世谱 :周村宗派
1850年发行, 1300-1850 韩国釜山仁济大学中央图书馆 真宝李氏世谱 卷 2,始祖李硕,周村宗派 9世希颜的子孙录
浏览:0
周氏宗谱 [6卷,首2卷]
原书: [出版地不详] : 达孝堂重刊, 1991年续修. 8册 : 插图, 世系表. 收藏所 : 太原市寻源姓氏文化研究中心. 源流 : 祖籍原为江西省饶州府, 元末明初迁麻城. 始祖 : (明) 周旺. 嘉靖间由麻邑迁冈邑. 房祖(6世) : 周永初,字文基(大房) ; 周永祚,字锡胤(二房). 皆为之鼎公之子. 大房下三支 : 周名世,字其有 ; 周振世,字世斐 ; 周奕世,字大滋(后迁河南). 二房下五支 : (清) 周辅世,字德恃 ; 周尚世,字德昌 ; 周用世,字德圣 ; 周卜世,字德贤 ; 周可珍,字席尊. 老宗派 : 大木应承之永 世文克方于贤 以志用能光国 基开亿兆万年. 次宗派 : 英俊特生 豪雄迭继 心广体舒 才全德备 佑启后昆 高恢先绪 自达邦家 连科及第. 散居地 : 湖北省黄冈县等地. 书名据书衣题, 书名页题, 及版心题编目.
浏览:0