计算机软件专家，主要从事软件理论、技术、工具和汉字信息处理等研究。1936年3月4日生于云南昆明。1956年毕业于吉林大学数学系。1993年当选为中国科学院院士（学部委员）。