Zhanqi Cui (崔展齐)

	Ph.D. Candidate Software Engineering Group State Key Laboratory for Novel Software and Technology Department of Computer Science and Technology Nanjing University Room 503, Mengmingwei Building, 22 Hankou Road Nanjing, China 210093 Email: zqcui AT seg.nju.edu.cn

Biography

I am a Ph. D. candidate in the Department of Computer Science and Technology, Nanjing University. I received my B.S. degree in Software Engineering and my B.M. degree in Finance simultaneously in June 2005 from Nanjing University. After I graduated, I worked as a Software Engineer in the Electronic Payment Research Institute of China UnionPay, which is the leading credit card company of China, from July 2005 to August 2006. I was admitted to the Graduate School of Nanjing University in September 2006, and two years later, I was upgraded to the doctor's degree program and became a Ph.D. candidate.

I joined the Software Engineering Group since September 2006, under the supervision of Professor Xuandong Li and Associate Professor Linzhang Wang.

From September 2009 to August 2010, I will be a visiting Ph.D. student in the Department of Computer Science, University of Virginia. Professor Mary Lou Soffa will be my host advisor during this visiting program.

Research Interests

• Aspect-oriented software modeling, testing, and verification
• Model-based software testing

Education

• Ph.D. Candidate Department of Computer Science and Technology, Nanjing University, June 2011 (Expected). Working with Prof. Xuandong Li and Prof. Linzhang Wang.
• M.S. Department of Computer Science and Technology, Nanjing University, Upgraded to Ph.D. June 2008. Worked with Prof. Xuandong Li and Prof.Linzhang Wang.
• B.S. Software Institute, Nanjing University, June 2005
  

Projects

• Modeling, testing, and optimizing technologies for error control polices of deep space probe systems (Nanjing University, 2008CL07, PI)
• An aspect-oriented approach for modeling, testing and verification of nonfunctional specification of software systems (China NSF, 60603036)
• An UML-based approach for testing and verification of software security(Jiangsu NSF, BK2007139)
• Jasmine: A model-driven testing and verification framework (Jiangsu Software Testing Center)
• A production line for analysis and evaluation of software dependability (863 High Tech Plan, 2007AA010302)

Publications

Peer Revivewed Conference and Workshop Papers:

• Lu Yang, Zhanqi Cui, and Xuandong Li. A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture. Proceedings of 11th IEEE HPCC Workshop on Multicore and Multithreaded Architectures and Programming (MMAP), Seoul, Korea, June 25, 2009.
• Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu. Modeling and Integrating Aspects with UML Activity Models. Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 8 - 12, 2009. (.pdf)
• Zhanqi Cui, Linzhang Wang, Huigen Liu, Xuandong Li. Computational Error Handling as Aspects: A Case Study. Proceedings of the 1st AOSD Workshop on Practices of Linking Aspect Technology and Evolution (PLATE), Charlottesville, Virginia, USA, March 3, 2009. (.pdf)
• Zhou Zhou, Linzhang Wang, Zhanqi Cui, Xin Chen, Jianhua Zhao. Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models. Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium(HASE), Nanjing, China, December 3 - 5, 2008. (.pdf)

Posters:

• Zhanqi Cui. Modeling, Verification, and Testing of Non-Functional Requirements with Aspects. Student Poster Event of the 8th International Conference on Aspect-Oriented Software Development, Charlottesville, Virginia, USA, March 4, 2009.

Presentations

• Modeling and Integrating Aspects with UML Activity Models, SAC, Honolulu, Hawaii, USA, March 12, 2009. (Slides)
• Computational Error Handling as Aspects: A Case Study, PLATE, Charlottesville, Virginia, USA, March 3, 2009. (Slides)

Activities

Past:

• The 24th Annual ACM Symposium on Applied Computing (SAC 2009, March 8 - 12, 2009, Honolulu, Hawaii, USA)
• The 8th International Conference on Aspect-Oriented Software Development (AOSD 2009, March 2 - 6, Charlottesville, Virginia, USA)
• The 11th IEEE High Assurance Systems Engineering Symposium (HASE 2008, Dec. 3-5, 2008, Nanjing, China)
• The 2nd IEEE Theoretical Aspects of Software Engineering Conference (TASE 2008, June 17-19, 2008, Nanjing University, Nanjing)
• UNU-IIST Spring School on Foundation and Advance Software Engineering (April 28 - May 9, 2008, Guizhou Normal University, Guiyang)
  
• ICTC Training School (September 10-21, 2007, East China Normal University, Shanghai)
  
• Artist2/UNU-IIST 2007 Summer School (August 1-10, 2007, Soochow University, Suzhou)
• The 11th IEEE International Conference on High Performance Computing and Communications (HPCC 2009, June 25-27, 2009, Seoul, Korea)

Upcoming:

Tools

• Jasmine
• Jasmine-AOI
• Jasmine-AOV

Awards

• SIGAPP Student Travel Awards, ACM, 2009
• Excellent graduate award, Nanjing University, 2005
• The Special People's scholarship, Nanjing University, 2004
• The Second People's scholarship Winner, Nanjing University, 2003
• The Third People's scholarship Winner, Nanjing University, 2002

Personal

• Some friends of mine
  Software Engineering Group: Tian Zhang, Bin Lei, Lei Bu, LIU Xi
  Computer Science Department: Xiang Chen, Yangsheng JI, Shu-Jian HUANG
  Nanjing University: Xiaofeng Yu
  

　　Visitors of my homepage:

　　Last update: