中国科学院官网对李未先生的介绍如下：网址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西安)做报告