科学网—名家博士论文137：北京航空航天大学原校长李未院士博士论文1983年爱丁堡大学
精选
已有 247 次阅读
2026-4-6 07:24
| 个人分类: 名家博士论文 | 系统分类: 科研笔记
中国科学院官网对 李未 先生的介绍如下 ： 网址 https://casad.cas.cn/ysxx2022/ygys/200906/t20090624_1807786.html ，计算机专家，主要从事并发程序语言的结构操作语义方法、翻译理论和实现技术研究。 1943 年 6 月 8 日生于北京。 1966 年毕业于北京大学数学力学系， 1983 年获英国爱丁堡大学计算机科学博士学位。 1997 年当选为中国科学院院士。
图 1 ：李未
1983 年， 李未 获得爱丁堡大学博士学位。其博士论文题目 为： An Operational Approach to Semantics and Translation for Concurrent Programming Languages ( 并发编程语言语义和翻译的操作方法 ) ，论文全文： 李未博士论文.pdf 。此文文摘收录在科睿唯安的 ProQuest Dissertations & Theses Global (ProQuest 全球博硕论文数据库 ) 中，数据库中此文链接为： https://www.proquest.com/docview/301459432 。 Edinburgh Research Archive( 爱丁堡大学的机构知识库 ) ，给出了此全文，网址： http://hdl.handle.net/1842/6636 。
李未在爱丁堡，是由进修转为读博的。据北京大学新闻网《 【故乡的云·校友访谈录之十三】李未：我的归宿在中国 》，爱丁堡接待李未的教授询问他是否读过计算机方面的著作，李未基于国内储备的阅读量基础，坦然回答，并且对其中的一本着意做了点评，而这一本中恰好有这位教授的研究成果。因此，这位教授主动提出把李未的进修资格改为读博。当然，李未底子并不差，北京大学数学力学系本科毕业。李未兄妹四人，父亲英年早逝，但母亲非常伟大，培养三个娃上了北大。李未应该是改革开放后第一批留学生。
李未爱人是北京大学比较文学与比较文化研究所孟华教授， 1988 年获法国巴黎第四大学法国文学与比较文学博士学位。《孟华教授访谈》有此期间李未 ( 访学 ) 和孟华在欧洲生活的趣事。
图 2 ： 1988 年李未爱人孟华博士论文答辩后
李未不担任校长后，投入相当大的精力在发展中国的 MOOC(Massive Open Online Course ，大规模在线开放课程，也称慕课 ) 。他担任中国高校计算机教育 MOOC 联盟理事长。 MoE 现任领导是李未先生的博士、校长接任者，也特别重视教育数字化。
图 3 ：李未在第三届大中华区 MOOC 研讨会 (2016 西安 ) 做报告
转载本文请联系原作者获取授权，同时请注明本文来自宁笔科学网博客。 链接地址： https://blog.sciencenet.cn/blog-408109-1529065.html
上一篇： 名家博士论文136：国际著名刑侦鉴识专家李昌钰博士论文1975年纽约大学