周巢尘，1937年11月1日出生于上海，计算机软件专家，中国科学院院士、第三世界科学院院士，中国科学院软件研究所研究员、博士生导师。1958年周巢尘毕业于北京大学数学力学系；1967年从中国科学院计算技术研究所研究生毕业；1985年被聘为博士生导师；1986年任中国科学院软件研究所研究员；1992年至1997年兼任联合国大学国际软件技术研究所首席研究员；1993年当选中国科学院院士；1997年至2002年兼任联合国大学国际软件技术研究所所长；2000年当选为第三世界科学院院士。周巢尘长期从事计算机科学理论的研究，在软件形式化理论方面做出了系统的、创造性的工作，取得了具有国际先进水平的研究成果。...