计算思维是运用计算机科学的基础概念进行问题求解、系统设计、以及人类行为理解等涵盖计算机科学之广度的一系列思维活动，由周以真于2006年3月首次提出。2010年，周以真教授又指出计算思维是与形式化问题及其解决方案相关的思维过程，其解决问题的表示形式应该能有效地被信息处理代理执行。总定义 内容简介 2006年3月，美国...
周以真不是中国人哦,她是美国的计算机科学家。周以真教授在卡内基梅隆大学任教,并曾担任过该校计算机系主任,还是美国国家自然基金会计算与信息科学工程部的助理部长,以及ACM和IEEE的会士呢!她的主要研究领域包括形式化方法、可信计算、分布式系统和编程语言等,在计算机科学领域有着卓越的贡献。
一、周以真担任职务:周以真目前担任广东海富建设有限公司深圳分公司法定代表人,同时担任深圳启亚远舰科技有限公司监事;二、周以真投资情况:目前周以真投资深圳启亚远舰科技有限公司最终收益股份为49%,投资深圳启亚远舰科技有限公司最终收益股份为49%;三、周以真的商业合作伙伴:基于公开数据展示,周以真与彭强为商业合作伙伴。 财...
周以真(Jeannette M. Wing)是一位美籍华人计算机科学,也是哥大首位华裔女副校长。她的主要研究领域是形式化方法、可信计算、分布式系统、编程语言等。1993 年她与图灵奖得主芭芭拉·利斯科夫(Barbara Liskov)合作,提出了著名的 Liskov 代换原则,是面向对象基本原则之一。
2006年,周以真博士在《美国计算机学会通讯》上发表了《计算思维》(Computational Thinking,也称计算性思维)一文,将计算思维作为一种基本技能和普适思维方法提出。它的运用将引导计算机教育工作者、研究者和实践者去推动社会变革不仅仅限于计算机领域,例如当前各个行业领域...
8月18日，哥伦比亚校长 Lee C. Bollinger 向全校师生宣布，任命在国际计算科学领域享有盛誉的女学者、现任哥大数据科学研究所及计算机系教授周以真（Jeannette M.Wing）为负责该校科研的常务副校长，总管纽约主校区和全球各附属机构的科研事务。她将从9月1日正式履新。业界评价文理兼修，多才多艺的周以真横跨学界、企业...
哥伦比亚大学常务副校长兼计算机科学教授周以真以《可信赖人工智能》为题进行主旨演讲,从形式化方法的角度提出了新的研究议程,以提高人工智能系统的信任度。她表示,在可信计算领域,采用形式化方法确保可靠性和安全性等信任属性已取得了可扩展的成功。与可信计算一样,形式化方法也可以成为在基于人工智能的系统中建立信任的...
周以真（英文名Jeannette M. Wing），美国计算机科学家，曾任卡内基-梅隆大学教授。美国国家自然基金会计算与信息科学工程部助理部长。ACM和IEEE会士。她的主要研究领域是形式方法、可信计算、分布式系统、编程语言等。现为哥伦比亚大学数据科学研究院主任、计算机科学教授，其长期研究兴趣主要集中于网络安全、数据隐私以及...
计算思维是美国卡内基大学的周以真教授于2006年3月首次提出的一种理论。周以真认为:计算思维是运用计算机科学的基础概念去求解问题、设计系统和理解人类行为的,它涵盖了计算机科学的一系列思维活动。后来国际教育技术协会和计算机科学教师协会于2011年给计算思维做了一个可操作性的定义,即计算思维是一个问题解决的过程。反馈...