中国大数据专家委员会顾问，中国科学院院士，计算机专家。1966年毕业于北京大学数学力学系。1983年获英国爱丁堡大学计算机科学博士学位。北京航空航天大学计算机系教授，软件开发环境国家重点实验室主任。1997年当选为中国科学院院士。从事并发程序语言的结构操作语义方法、翻译理论和实现技术研究。解决了实用并发语言的复杂语法结构的语义问题，在建立并发语言的翻译和比较研究理论方面取得了开创性研究成果。1991年提出了用版本序列的收敛性描述软件开发过程和知识库维护策略的理论和方法，开辟了用近似和逼近方法研究软件开发和知识库维护的方向。对在我国开展推理计算机、可扩展计算机群及其软件工具和环境的设计与实现等方面也做出了贡献。
活动家作为专业第三方嘉宾邀约平台，依托互联网公开数据为您提供嘉宾信息展示服务。若您发现嘉宾信息需要更新或移除，请发送邮件或联系客服。
我们专注于根据您的具体需求（包括演讲议题、会议日期及活动预算等），为您精准匹配各领域专业嘉宾。为高效服务，建议您提前准备好详细活动信息，并拨打客服电话：18911802888（工作日9:00-18:00）。
温馨提示：本服务仅限嘉宾邀约相关事宜，其他需求暂不处理，感谢您的理解与配合。