趙 建軍

1982年09月～1987年07月、清華大学計算機科学与技術系（工学学士）
1994年04月～1997年03月、九州大学大学院システム情報科学研究科情報工学専攻博士後期課程（ 博士（情報科学）））
1997年04月～2000年03月、福岡工業大学情報工学科（講師））
2000年03月～2005年10月、福岡工業大学情報工学科（助教授））
2002年04月～2003年03月、Laboratory for Computer Science, Massachusetts Institute of Technology（Visiting Scientist））
2005年11月～2015年05月、上海交通大学ソフトウェア学院（教授））
2012年04月～2017年03月、国立情報研究所（客員教授））
2015年06月～2016年03月、上海交通大学計算機科学与工程系（教授））
2016年04月～現在、九州大学システム情報科学研究院情報知能工学専攻（教授））
2017年01月～現在、上海交通大学計算機科学与工程系（訪問教授）

高信頼性人工知能（深層学習）システムの構築、プログラムの自動生成などに関する研究従事。

Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Chunyang Chen, Ting Su, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang. DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems. In Proc. 33th IEEE/ACM Conference on Automated Software Engineering (ASE 2018), pp.120-131, Montpellier, French, September 3-7, 2018. (ACM SIGSOFT Distinguished Paper Award)

Ziyi Lin, Hao Zhong, Yuting Chen, and Jianjun Zhao. LockPeeker: Detecting Latent Locks in Java APIs. In Proc. 31th IEEE/ACM Conference on Automated Software Engineering (ASE 2016), pp.368-278, Singapore, September 3-7, 2016.

Xiao Cheng, Zhiming Peng, Lingxiao Jiang, Hao Zhong, Haibo Yu, and Jianjun Zhao. Mining Revision Histories to Detect Cross-Language Clones without Intermediates. In Proc. 31th IEEE/ACM Conference on Automated Software Engineering (ASE 2016), (Short Paper), pp.696-701, Singapore, September 3-7, 2016.

Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, and Jianjun Zhao. Coverage-Directed Differential Testing of JVM Implementations. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2016), pp.85-99, Santa Barbara, CA, June 13-17, 2016.

Jiabin Ye, Cheng Zhang, Lei Ma, Haibo Yu, and Jianjun Zhao. Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs. In Proc. 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016), pp.449-459, Osaka, Japan, March 2016. (Best Paper Candidate Award)

Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen, and Jianjun Zhao. JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs. In Proc. 30th IEEE/ACM Conference on Automated Software Engineering (ASE 2015), pp.71-80, Lincoln, NE, November 2015.

Fei Lv, Hongyu Zhang, Jianguang Lou, Shaowei Wang, Dongmei Zhang, and Jianjun Zhao. CodeHow: Effective Code Search Based on API Understanding and Extended Boolean. In Proc. 30th IEEE/ACM Conference on Automated Software Engineering (ASE 2015), pp.260-270, Lincoln, NE, November 2015.

Cheng Zhang, Juyuan Yang, Yi Zhang, Jing Fan, Xin Zhang, Jianjun Zhao, Peizhao Ou. Automatic Parameter Recommendation for Practical API Usage. In Proc. 34th International Conference on Software Engineering (ICSE 2012), pp.826-836, Zurich, Switzerland, June 2-9, 2012.

ソフトウェア工学と人工知能の融合によって、より信頼性と安全性の高いソフトウェアシステムと人工知能システムを構築することを目指しています。