本帖最后由 wanquanhe 于 2026-9-5 17:03 编辑
蒋士騛:1954年底回国进入北航。1963年正式调入科学院计算所。第一届中国电子学会计算机专业委员会(1962-1966) 委员, 第二届中国电子学会计算机专业委员会(1979-1982)副主任, 第三届中国电子学会计算机专业委员会(1982-1985)主任。
李未:1968年北大数学研究生毕业,进入北航。 李未是国际上最早研究和发展并发程序语言的结构操作语义模型的学者之一,在实用并发语言操作语义、形式理论序列和修正演算等方面取得了开创性研究成果。在中国率先倡导开展海量信息计算的理论与方法研究。在国际上提出群体软件工程概念,凝练的群体智能新研究方向被列入国家新一代人工智能发展战略规划。
|