›› 2016,Vol. 31 ›› Issue (5): 849-850.doi: 10.1007/s11390-016-1667-x

• Special Section on Selected Paper from NPC 2011 •    下一篇

Preface

Tao Xie   

  1. Associate Professor and Willett Faculty Scholar, Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, U.S.A
  • 出版日期:2016-09-05 发布日期:2016-09-05
  • 作者简介:Tao Xie is an associate professor and Willett Faculty Scholar in the Department of Computer Science at the University of Illinois at Urbana-Champaign, Urbana, USA. He received his Ph.D. degree in computer science from the University of Washington, Seattle, in 2005. He received his M.S. degree in computer science from Peking University, Beijing, in 2000, and his B.S. degree in computer science from Fudan University, Shanghai, in 1997. He has worked as a visiting researcher at Microsoft Research. His research interests are in software engineering, focusing on software testing, program analysis, software analytics, software security, and educational software engineering. He has served as the ACM SIGSOFT History Liaison in the SIGSOFT Executive Committee as well as a member of the ACM History Committee. He is an associate editor of IEEE Transactions on Software Engineering (TSE), an associate editor of ACM Transactions on Internet Technology (TOIT), an associate editor of Journal of Software Testing, Verification and Reliability (STVR), an advisory board member of the IEEE Software Magazine, and a leading editor of the Journal of Computer Science and Technology (JCST). He is a distinguished scientist of ACM and a senior member of IEEE.

Preface

Tao Xie   

  1. Associate Professor and Willett Faculty Scholar, Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, U.S.A
  • Online:2016-09-05 Published:2016-09-05
  • About author:Tao Xie is an associate professor and Willett Faculty Scholar in the Department of Computer Science at the University of Illinois at Urbana-Champaign, Urbana, USA. He received his Ph.D. degree in computer science from the University of Washington, Seattle, in 2005. He received his M.S. degree in computer science from Peking University, Beijing, in 2000, and his B.S. degree in computer science from Fudan University, Shanghai, in 1997. He has worked as a visiting researcher at Microsoft Research. His research interests are in software engineering, focusing on software testing, program analysis, software analytics, software security, and educational software engineering. He has served as the ACM SIGSOFT History Liaison in the SIGSOFT Executive Committee as well as a member of the ACM History Committee. He is an associate editor of IEEE Transactions on Software Engineering (TSE), an associate editor of ACM Transactions on Internet Technology (TOIT), an associate editor of Journal of Software Testing, Verification and Reliability (STVR), an advisory board member of the IEEE Software Magazine, and a leading editor of the Journal of Computer Science and Technology (JCST). He is a distinguished scientist of ACM and a senior member of IEEE.
No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] 孙永强; 陆汝占; 黄小戎;. Termination Preserving Problem in the Transformation of Applicative Programs[J]. , 1987, 2(3): 191 -201 .
[2] 冯玉琳;. Hierarchical Protocol Analysis by Temporal Logic[J]. , 1988, 3(1): 56 -69 .
[3] 张钹; 张铃;. A Relation Matrix Approach to Labelling Temporal Relations in Scheduling[J]. , 1991, 6(4): 339 -346 .
[4] Harald E. Otto;. UNDO, An Aid for Explorative Learning?[J]. , 1992, 7(3): 226 -236 .
[5] 沈一栋;. Form alizing Incomplete Knowledge in Incomplete Databases[J]. , 1992, 7(4): 295 -304 .
[6] 徐美瑞; 刘小林;. A VLSI Algorithm for Calculating the Tree to Tree Distance[J]. , 1993, 8(1): 68 -76 .
[7] 黎仁蔚; 何锫; 张文辉;. An Introduction to IN CAPS System[J]. , 1993, 8(1): 26 -37 .
[8] 沈一栋;. A Fixpoint Semantics for Stratified Databases[J]. , 1993, 8(2): 12 -21 .
[9] 潘志庚; 石教英; 胡冰峰;. DGLa: A Distributed Graphics Language[J]. , 1994, 9(2): 97 -106 .
[10] 王晖; 刘大有; 王亚飞;. Sequential Back-Propagation[J]. , 1994, 9(3): 252 -260 .
版权所有 © 《计算机科学技术学报》编辑部
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn
总访问量: