基本信息
浏览量:299
职业迁徙
个人简介
研究兴趣主要是理论计算机科学。目前的研究领域包括(i)基于交互理论的交互理论和(ii)验证中的可判定性和复杂性问题。
相互作用理论旨在对计算模型和相互作用模型进行统一处理。该理论的出发点是以模型独立的方式定义计算机科学中两个最重要的关系:模型之间的表达关系和模型过程之间的平等关系。模型独立性对于计算机科学中基本假设的任何形式化都是至关重要的。从而使互动命题的形式化成为可能。
我们对无限状态系统的验证工作是在过程重写系统的框架下进行的。在存在静默动作的情况下,等式检查和规则性检查是困难的。证明了赋范PBA上的分支双相似性是可判定的。我们最近的工作是关于epsilon-pushig/poping PDA的可判定性。
软件学院院长
上海高校软件理论研究中心主任
中国计算机学会理事
中国数学会数理逻辑专业委员会常务理事
教育部高等学校计算机科学与技术教学指导委员会专业教学指导分委员会委员
《计算机研究与发展》编委
《微电子学与计算机》编委
《小型微型计算机系统》编委
《计算机教育》编委
上海市计算机学会理事长[2]
上海市计算机学会学术委员会副主任
上海市计算机学会人工智能与理论专业委员会主任
Asian Association for Foundation of Software (AAFS) 的executive member和founding member
The CUE (China-USA-Europe) initiative on “The Scientific Foundations of Informatics as an Engineering Discipline”的Steering Committee的中国成员
上海市计算机行业协会副会长国家八六三:新型逻辑框架和新型计算模型
国家自然科学基金(青年):逻辑类型理论的语义及其应用
国家八六三:并发计算的元模型
国家自然科学基金:并发计算模型CHI-演算的理论研究
国家自然科学基金:内类型理论
教育部资助优秀青年教师:基本并发计算模型的理论研究
高等学校骨干教师资助计划:元并发模型的理论研究
教育部博士点基金:并发计算模型CHI-演算的互模拟格理论
上海市科委重点项目:网格计算中的算法、验证及模型研究
国家杰出青年科学基金:计算机科学技术的基础理论
八六三重点项目:个人信息处理终端SoC2
研究兴趣
论文共 127 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn