中國有哪些計算機專家[朗讀]

1、周巢塵：周巢塵，中科院院士、計算機軟體專家，60年代末轉入信息處理系統，計算機作業系統及網絡系統的研製，自70年代中期，致力於程序設計方法學的研究，特別是形式化方法的研究，形式化方法建立了軟體工程的數學基礎，倡導軟體設計和開發的嚴格方法及工具，以期軟體工程最終躋身於現代工程科學行列，形式化方法已逐漸被軟體工業界所採用，特別是用於嚴格安全系統的研製，80年代，主要從事分布式系統的研究，90年代，從事實時系統研究，2000年當選為第三世界科學院院士，1993年當選中國科學院院士。
2、倪光南：1961年畢業於南京工學院，首創在漢字輸入中應用聯想功能，曾任中科院計算所公司和聯想集團首任總工程師，主持開發了聯想式漢字系統、聯想系列微型機，分別於1988和1992年獲得國家科技進步一等獎，聯想集團即以聯想式漢字系統起家並由此而得名，此後，一直致力於發展自主可控的信息核心技術和產業，1994年被遴選為首批中國工程院院士，2011年和2015年分別獲得中國中文信息學會和中國計算機學會終身成就獎。
3、李國傑：近20年來領導中科院計算所和曙光公司為發展我國高性能計算機產業、研製龍芯高性能通用cpu晶片做出了重要貢獻，先後獲得國家科學進步一等獎、二等獎、首屆何梁何利基金科技進步獎等獎項，1995年當選中國工程院院士，2001年當選第三世界科學院院士，中國工程院院士，第三世界科學院院士，1995年始任曙光公司董事長，2000年至2011年任中國科學院計算技術研究所所長，2003年兼任中國科技大學計算機系系主任，2012年任中國科學院大學計算機與控制學院院長。