中国有哪些计算机专家[朗读]

1、周巢尘：周巢尘，中科院院士、计算机软件专家，60年代末转入信息处理系统，计算机操作系统及网络系统的研制，自70年代中期，致力于程序设计方法学的研究，特别是形式化方法的研究，形式化方法建立了软件工程的数学基础，倡导软件设计和开发的严格方法及工具，以期软件工程最终跻身于现代工程科学行列，形式化方法已逐渐被软件工业界所采用，特别是用于严格安全系统的研制，80年代，主要从事分布式系统的研究，90年代，从事实时系统研究，2000年当选为第三世界科学院院士，1993年当选中国科学院院士。
2、倪光南：1961年毕业于南京工学院，首创在汉字输入中应用联想功能，曾任中科院计算所公司和联想集团首任总工程师，主持开发了联想式汉字系统、联想系列微型机，分别于1988和1992年获得国家科技进步一等奖，联想集团即以联想式汉字系统起家并由此而得名，此后，一直致力于发展自主可控的信息核心技术和产业，1994年被遴选为首批中国工程院院士，2011年和2015年分别获得中国中文信息学会和中国计算机学会终身成就奖。
3、李国杰：近20年来领导中科院计算所和曙光公司为发展我国高性能计算机产业、研制龙芯高性能通用cpu芯片做出了重要贡献，先后获得国家科学进步一等奖、二等奖、首届何梁何利基金科技进步奖等奖项，1995年当选中国工程院院士，2001年当选第三世界科学院院士，中国工程院院士，第三世界科学院院士，1995年始任曙光公司董事长，2000年至2011年任中国科学院计算技术研究所所长，2003年兼任中国科技大学计算机系系主任，2012年任中国科学院大学计算机与控制学院院长。