词条 周以真

周以真

周以真(英文名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
麻省理工学院校友
美国计算机科学家
在世人物
信息技术科学家
信息技术科学家
家族谱大览
鎮溪周氏宗譜, 30, 卷30, 23世以能公起, 1933
原书: [出版地不详 : 出版者不详], 民国22[1933]年重修. 31册:插图, 人像, 世系表. 远祖: (唐) 周墀. 为道州管道祖. 始祖: (宋) 周惇颐,谥曰元,封为道国公. 为墀公10世孙. 生二子: 周寿 ; 周焘. 浦阳横溪祖(1世): (宋) 周缊,号维濂. 焘公之子. 镇溪始迁祖(3世): (宋) 周宝,字国珍,号复古,行千一 ; 周茵,字国宠,行千二. 宝公派下支祖(5世): (宋) 周玙,字朝重,行文十(居兰溪, 后裔传数代后无记事) ; 周珏,字朝器,行文十四(镇溪祖) ; 周玩,行文十八(坑坞祖). 茵公派下支祖(5世): (宋) 周珮,字朝用,行文三(塘堘祖) ; 周琚,行通二,又行文八(水塘坞祖) ; 周珛(迁于肖山) ; 周璜(迁于嵊县安国寺前) ; 周𤦹(迁居十七都). 此谱为珮公, 琚公后裔世系. 珏公派下支祖(7世): (元明之际) 周文,字善华,行名七(居中央屋) ; 周行,字善景,号绍麓,行名八(居大明堂) ; 周忠,字善甫,号襟溪,行名九(居前宅) ; 周信,字善孚,行名十一. 玩公派下支祖(9世): (明) 周榴,行信十三. 珮公派下支祖(9世): (明) 周海,字景澜,行富十八 ; 周澜,字景观,行富四 ; 周淙,字景声,行富七. 琚公派下支祖(9世): (明) 周高,行义六 ; 周明,行义六九 ; 周远,行义十一. 镇溪排行字母(1世起): 赐宜(百)千曾(万) 文生名子 信贤升和 连杰澄清 纯俊茂兴 洪昭德显 昌瑞祥祯. 讳字母(13世起): 廷世元良 希其尚邦 益仁以守 用尊家芳. 表字母(13世起): 仕汝惟君 伯尔克新 学怀思慎 必应朝聘. 行字母: 系统相传 木本水源 硕大且滋 亿万斯年. 讳字母: 忠厚开基 宗法宜明 若能式则 庸道乃成. 表字母: 品望端隆 仪度温恭 天秩有礼 所适咸中. 注: 卷2, 影像第45页尚有上田派, 水塘周派, 及石廓派排行字母. 散居地: 浙江省浦江县等地. 书名据书衣题, 版心题, 及卷端题编目.
浏览:100
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