热 烈 欢 迎 2017 级 新 同 学!
计算机科学与技术学院
 
师资队伍

院士


大师讲席


教授


副教授

何超栋


讲师


博士后

更多>>学术活动
您现在的位置:首页>师资队伍>副教授

何超栋

  

电话:(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