導覽
近期變更
隨機頁面
新手上路
新頁面
優質條目評選
繁體
不转换
简体
繁體
3.22.248.254
登入
工具
閱讀
檢視原始碼
特殊頁面
頁面資訊
求真百科歡迎當事人提供第一手真實資料,洗刷冤屈,終結網路霸凌。
檢視 周巢尘 的原始碼
←
周巢尘
前往:
導覽
、
搜尋
由於下列原因,您沒有權限進行 編輯此頁面 的動作:
您請求的操作只有這個群組的使用者能使用:
用戶
您可以檢視並複製此頁面的原始碼。
计算机软件专家。原籍江苏南汇,1937年11月1日生于上海。1958年毕业于北京大学数学力学系。1967年研究生毕业于中国科学院计算技术研究所。中国科学院软件研究所研究员,联合国大学国际软件技术研究所所长。2000年当选为第三世界科学院院士。1993年当选中国科学院院士(学部委员)。 研究生期间,研读数理逻辑,师从胡世华院士。60年代末转入信息处理系统,计算机操作系统及网络系统的研制。自70年代中期,致力于程序设计方法学的研究,特别是形式化方法的研究。形式化方法建立了软件工程的数学基础,倡导软件设计和开发的严格方法及工具,以期软件工程最终跻身于现代工程科学行列。形式化方法已逐渐被软件工业界所采用,特别是用于严格安全系统的研制。80年代,主要从事分布式系统的研究。90年代,从事实时系统研究。
返回「
周巢尘
」頁面