李明树，男，吉林德惠人，中国计算机软件科学家，中国科学院软件研究所研究员、原所长，中国计算机学会会士。
林惠民，男，福建福州人，中国计算机科学家、计算机软件与理论专家，中国科学院软件研究所研究员，长期从事计算机程序的形式语义学及形式化方法的研究。
中国操作系统是一个由中国科学院软件研究所与上海联彤网络通讯技术有限公司共同设计研发的操作系统，于2014年1月15日在北京钓鱼台国宾馆发布，号称该系统已经拥有十万个应用程序。该系统采用Linux内核，提供用户态硬件抽象层，数据层与媒体层，且支持多种运行时环境。据报道，该操作系统拥有“中国完全自主知识产权”，中国科学院此举意在打破美国系列厂商的垄断地位。根据官网中的说明，该系统声称是一个开源的操作系统，支持基于Java和HTML5的应用。
仲萃豪，男，江苏松江县人，中国软件工程专家，曾任中国科学院软件研究所研究员、博士生导师。
胡世华，字子华，男，浙江吴兴人，生于上海，中国数理逻辑与数学基础学家，中国科学院院士，中国科学院计算技术研究所、中国科学院软件研究所研究员，中国数理逻辑研究的奠基人、理论计算机科学的开拓者。清末民初政要胡惟德之子。
陶仁骥，男，四川营山人，中国计算机理论学家，曾任中国科学院软件研究所研究员，中国数学会理事。
周巢尘，男，原籍江苏南汇，生于上海，中华人民共和国计算机理论专家，中国科学院软件研究所研究员、中国科学院院士，长期从事分布式计算、理论计算机科学等方面研究，被认为是中国分布式程序设计理论研究的先驱者和开拓者之一。
杨东屏，男，河北人，中国数理逻辑学家，曾任中国数学会理事，曾任中国科学院软件研究所研究员、博士生导师。
孙家昶，男，中华人民共和国计算机科学家，中国科学院软件研究所研究员，曾任中华全国青年联合会副主席。
冯登国，男，中国信息安全专家，北京信息科学技术研究院院长，中国科学院软件研究所客座研究员，中国科学院院士。
Mini wiki
