李未
中国大数据专家委员会顾问，中国科学院院士
李未，中国大数据专家委员会顾问，中国科学院院士，计算机专家。1966年毕业于北京大学数学力学系。1983年获英国爱
丁堡大学计算机科学博士学位。北京航空航天大学计算机系教授，软件开发环境国家重点实验室主任。1997年当选为中国
科学院院士。从事并发程序语言的结构操作语义方法、翻译理论和实现技术研究。解决了实用并发语言的复杂语法结构
的语义问题，在建立并发语言的翻译和比较研究理论方面取得了开创性研究成果。1991年提出了用版本序列的收敛性描
述软件开发过程和知识库维护策略的理论和方法，开辟了用近似和逼近方法研究软件开发和知识库维护的方向。对在我
国开展推理计算机、可扩展计算机群及其软件工具和环境的设计与实现等方面也做出了贡献。
大数据城市的智能转型
经过十几年的努力，我国发达地区的数字化城市建设已经初具规模，下一阶段的任务是完成数字城市的智能转型。大数 据城市的智能转型的标志是实现三个应用服务，即“深度查询”、“规律发现”和“决策生成”。为此，须从数据获取和 传感阶段开始采用非结构化数据的统一模型，在数字化城市比较成熟的行业进行试点，实践群体软工程件的方法，完成 三种应用服务的软件开发。
快速通道
联系我们
- 服务热线：4000-897-896(发票等)
- 票务热线：010-64351456
- 媒体咨询：010-51661202-321
- 商务合作：010-68179368
- 010-51661202-834
- 大会邮箱：ciecloud@csdn.com
指导单位
主办单位
承办
协办
大会合作伙伴（按英文首字母排序）
专题论坛协办单位（按英文首字母排序）
专题论坛合作伙伴（按英文首字母排序）
展览展示合作伙伴（按英文首字母排序）
专项赞助合作伙伴（按英文首字母排序）
