Can you summarize the following document?
        
  1979年6月在麻省理工學院獲得學士和碩士學位,導師中有圖靈獎得主Ronald Rivest。1983年獲得該校的博士學位。  1983—1985年,在南加州大學任助理教授。1985年起,任教於卡內基梅隆大學。2004—2007年間,曾擔任該校計算機系主任。  2006年3月,在美國計算機權威期刊《Communications of the ACM》雜誌上給出,並定義的計算思維(Computational Thinking)。 認為:計算思維是運用電腦科學的基礎概念進行問題求解、系統設計、以及人類行為理解等涵蓋電腦科學之廣度的一系列思維活動。

  周以真教授曾擔任卡內基—梅隆大學計算機學院院長、美國國家科學院電腦科學與通訊部門主席、美國國防部高階研究計劃署(DARPA)資訊科學與技術委員會、美國國家科學基金科學顧問委員會以及Sloan 研究基金程式委員會的成員。2007年她出任美國國家科學基金會(NSF)計算機與資訊科學與工程部(CISE)副部長,負責管理NSF在資訊科學和計算機研究領域的基金。CISE每年的預算高達5.27億美元,佔整個美國聯邦政府對電腦科學研究資助經費的86%。
周以真(英文名Jeannette M. Wing,),美國電腦科學家。卡內基梅隆大學教授。美國國家自然基金會計算與資訊科學工程部助理部長。ACM和IEEE會士。她的主要研究領域是形式化方法、可信計算、分散式系統、程式語言等。1993年她與圖靈獎得主芭芭拉·利斯科夫合作,提出了著名的Liskov代換原則,是物件導向基本原則之一。