董韫美，我国计算机软件领域的杰出贡献者，1936年出生于昆明，1956年毕业于吉林大学后进入中国科学院计算技术研究所。自1983年起担任研究员，1984年起指导博士生，1985年起在中国科学院软件所任职。她的学术成就显著，1990年荣获“中国科学院优秀研究生导师”荣誉，培养了众多硕士和博士。董院士在软件理论、BCY高级程序语言及汉字信息处理方面做出了开创性工作，曾获科技进步一等奖和二等奖，发表论文超过30篇。她主持的BCY编译程序及系统软件在国内早期计算机上实现，后来的工作涉及形式语言理论和软件工具等领域。
周巢尘院士，分布式程序设计理论的先驱，他的时段演算理论对实时系统形式化设计和验证产生了深远影响，国际同行对此高度认可。他曾在1997年至2002年期间担任联合国大学国际软件技术研究所所长，推动了国际范围内的相关研究。
林惠民院士专注于并发理论和形式化方法的研究，他的创新包括设计首个通用进程代数验证工具，发展了传值并发进程的“符号互模拟”理论，并解决了π-演算和时间自动机的有穷公理化问题。这些成果在国际学术界广受瞩目，被广泛引用。
中国科学院软件研究所成立于1985年3月1日，是一个以计算机科学理论和应用研究为基础、以计算机软件研究开发和高新技术的产业建设为主导的综合性基地型研究所。