[中国科学院院士] - 东城区 房山区 西城区 通州区 大兴区 丰台区 昌平 平谷区 朝阳区 顺义区 海淀区 密云 延庆区 门头沟区 怀柔 北京市景点 北京市特产 北京市地名网 [手机版] -
从事并发程序语言的结构操作语义方法、翻译理论和实现技术研究。解决了实用并发语言的复杂语法结构的语义问题,在建立并发语言的翻译和比较研究理论方面取得了开创性研究成。1991年提出了用版本序列的收敛性描述软件开发过程和知识库维护策略的理论和方法,开辟了用近似和逼近方法研究软件开发和知识库维护的方向。对在我国开展推理计算机、可扩展计算机群及其软件工具和环境的设计与实现等方面也做出了贡献。
[以上内容由"nashihuakai"分享。]
相关院校:
同年(公元1943年)出生的名人: