Research Funding


·         Dependence Analysis of Reactive Programs and its Application.

Grant-in-Aid for Research Activity Start-up (No. 16H07031), JSPS, 2016-2017, 2,660,000 JPY (Solo PI, 研究代表者)

·         The Whole Life-Cycle Evaluation and Assurance Methodologies for Open Source Ecosystem Based Internetware Software.

The National Basic Research Program of China (973 Program) (No.2015CB352203), 2015/01-2019/12, 3,680,000 RMB (Solo PI, 课题负责人, 研究代表者).

·         Incremental Unit Testing.

Collaborative Applied Research and Development between Morgan Stanley and SJTU, 2014/12-2015/06, 45,000 USD (Solo PI)

·         Machine Learning-Based Software Debugging Techniques.

National Natural Science Foundation of China (NSFC) (No.60970009), 2013/01-2016/12, 830,000 RMB (Solo PI, 课题负责人).

·         Exploiting the Parallelism in Static Analysis and Formal Verification.

Intel Business Enabling Fund, 2012/07-2013/07, 21,000 USD (Solo PI)

·         Atomicity Violation Detection for Concurrent Programs.

Open Research Fund of State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences (SYSKF1101), 2011.07-2012.06, 100,000 RMB (Solo PI, 课题负责人)

·         Checking Serializability Consistency for Concurrent X10 Programs.

IBM X10 Innovation Awards, 2010, 12,500 USD (Solo PI)

·         Change impact analysis of aspect-oriented software and its applications.

National Natural Science Foundation of China (NSFC) (No.60970009), 2010/01-2012/12, 310,000 RMB (Solo PI, 课题负责人).

·         Testing techniques for aspect-oriented software.

National Natural Science Foundation of China (NSFC) (No.60673120), 2007/01-2009/12, 260,000 RMB (Solo PI, 课题负责人).

·         Study on the evolution of aerospace control software based on Trustie techniques.

National High Technology Development Program of China (863 Plan) (No.2009AA010313), 2010/01-2010/12, 770,000 RMB (Co-PI, 课题参加者).

·         Building integrated development environment for aspect-oriented software.

National High Technology Development Program of China (863 Plan)  (No.2006AA01Z158), 2007/01-2008/12, 600,000 RMB (Solo PI, 课题负责人).

·         Construction of an Dependence-based Integrated System Development Environment for Aspect-Oriented Programs.

Grand-in-Aid for Scientific Research (C) (No. 17500027), JSPS, 2005/04-2005/12, 1,900,000 JPY (Solo PI, 研究代表者)

·         Theory for Dependence Analysis of Aspect-Oriented Programs and Its Applications.

Grand-in-Aid for Scientific Research (C) (No.15500027), JSPS, 2003/04-2005/03, 2,900,000 JPY (Solo PI, 研究代表者)

·         Software Architecture-Based Integrated System Development Environments.

Grand-in-Aid for Encouragement for Young Scientists (No.13780259), JSPS, 2001/04-2003/03, 1,500,000 JPY (Solo PI, 研究代表者)

·         Theory for Dependence Analysis of Software Architecture and Its Applications.

Grand-in-Aid for Encouragement for Young Scientists  (No.11780241), MEXT, 1999/04-2001/03, 1,600,000 JPY (Solo PI, 研究代表者)


Last updated: November 27, 2016
Jianjun Zhao (zhao@ait.kyushu-u.ac.jp)