计算机科学与技术学院
 
师资队伍

院士


大师讲席


教授


副教授

何超栋


讲师


博士后

更多>>学术活动
  • 美国克拉克森大学Chen Liu副教授学术报告会

    题目:An Integrated Hardware/Software Framework for Adaptive Thread Management in Modern Microprocessors

    时间:2018年6月19日16:00

    地点: 西区电三楼632学术报告厅

  • 中国科大智能与大数据峰会

    时间:2018年6月16日-17日

    1.开幕式(6月16日上午9:00-9:30)

      地点:西区科技实验楼218会议室

    2.峰会主题演讲(6月16日上午9:30-12:00)

      地点:西区科技实验楼218会议室

      演讲嘉宾:陈国良、刘云浩

    3.分论坛(6月16日下午14:30-17:30)

      智能领域:

      地点:西区科技实验楼218会议室

      演讲嘉宾:田第鸿、方明、庞建新、户磊

      大数据领域:

      地点:西区科技实验楼118会议室

      演讲嘉宾:熊辉、谭营、徐泽水、张师超

      物联网领域:

      地点:西区电三楼632会议室

      演讲嘉宾:张燕咏、梁家恩、陈云霁

  • 南瑞集团研究院杨志宏副院长报告会

    题目:能源互联网前沿技术应用

    时间:2018年6月13日10:00

    地点:西区电三楼632学术报告厅

您现在的位置:首页>师资队伍>副教授

何超栋

  

电话:(0551)

E-Mail:hcd@ustc.edu.cn

 

 

 

主要研究方向:理论计算机科学 

 

何超栋,男,1979年生,博士,特任副研究员。2001年毕业于上海交通大学计算机科学与工程系,获学士学位。2011年毕业于上海交通大学计算机科学与工程系,获博士学位。2012年至2015年在复旦大学从事博士后工作。现任中国科学技术大学计算机学院特任副研究员。主要研究兴趣在于交互式系统行为语义的理论方面,包括进程的观测理论、进程行为等价的公理化刻画、并发计算模型的相对表达能力、无限进程等价验证的可判定性和复杂性等等。

 

主 要 论 著

   

[01] Chaodong He, Mingzhang Huang. Branching Bisimilarity on Normed BPA Is EXPTIME-complete. LICS 2015: 180-191
[02] Qiangyin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting tao. Branching Bisimilarity Checking for PRS. ICALP(2) 2014: 363-374
[03] Chaodong He, Yuxi Fu, Hongfei Fu. Decidability of Behavioral Equivalences in Process Calculi with Name Scoping, FSEN 2011: 284-298
[04] Chaodong He. The Decidability of the Reachability Problem for CCS!. CONCUR 2011: 373-388
[05] Chaodong He. Model Independent Order Relations for Processes. APLAS 2010: 408-423

 

CopyRight 2009-2014 中国科学技术大学计算机科学与技术学院 All Rights Reserved.
安徽省合肥市黄山路中国科学技术大学西区电三楼
通信地址:安徽省合肥市4号信箱 计算机科学与技术学院 邮政编码:230027