趙 建軍
趙 建軍 (Jianjun Zhao)
更新日: 02/01
基本情報
- 所属
- 九州大学大学院 システム情報科学研究院 教授
- 学位
-
博士(情報科学)(1997年3月 九州大学)
- J-GLOBAL ID
- 200901087977048750
- researchmap会員ID
- 1000227846
- 外部リンク
◇ 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月~現在、 九州大学システム情報科学研究院情報知能工学専攻(教授)
経歴
8-
2016年4月 - 現在
-
2012年4月 - 2017年3月
-
2015年6月 - 2016年3月
-
2005年11月 - 2015年5月
-
2000年4月 - 2005年10月
-
2002年4月 - 2003年3月
-
1997年4月 - 2000年3月
-
1994年4月 - 1997年3月
学歴
3-
1994年4月 - 1997年3月
-
1993年4月 - 1994年3月
-
1982年9月 - 1987年7月
委員歴
28-
2022年 - 2022年
-
2022年 - 2022年
-
2022年 - 2022年
-
2021年 - 2021年
-
2021年 - 2021年
-
2021年 - 2021年
-
2021年 - 2021年
-
2021年 - 2021年
-
2021年 - 2021年
-
2021年 - 2021年
-
2020年 - 2020年
-
2020年 - 2020年
-
2019年 - 2019年
-
2019年 - 2019年
-
2018年 - 2018年
-
2018年 - 2018年
-
2017年 - 2017年
-
2017年 - 2017年
-
2017年 - 2017年
-
2015年 - 2015年
受賞
4論文
135-
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria.IEEE Trans. Software Eng. 49(4) 1842-1859 2023年4月
-
AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions.CoRR abs/2304.05617 2023年
-
CoRR abs/2107.12085 2021年7月26日
-
CoRR abs/2104.11585 2021年4月23日
-
2nd IEEE/ACM International Workshop on Quantum Software Engineering(Q-SE@ICSE) 16-21 2021年3月16日
-
2nd IEEE/ACM International Workshop on Quantum Software Engineering(Q-SE@ICSE) 22-27 2021年3月16日
-
CoRR abs/2111.13330 2021年
-
CoRR abs/2111.12423 2021年
-
ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering 1427-1437 2021年
-
NASA Formal Methods - 13th International Symposium(NFM) 392-399 2021年
-
Computer Aided Verification - 33rd International Conference 595-618 2021年
-
Thirty-Fifth AAAI Conference on Artificial Intelligence(AAAI) 1487-1495 2021年
-
CoRR abs/2011.09884 2020年11月19日
-
CoRR abs/2007.07047 2020年7月14日
-
MM '20: The 28th ACM International Conference on Multimedia 4318-4327 2020年6月13日
-
ICSE '20: 42nd International Conference on Software Engineering(ICSE) 739-751 2020年4月24日
-
CoRR abs/2006.07634 2020年
-
CoRR abs/2004.11573 2020年
-
20th IEEE International Conference on Software Quality, Reliability and Security Companion 91-97 2020年
MISC
20-
情報処理学会研究報告ソフトウェア工学(SE) 2005(75) 33-39 2005年7月28日
-
情報処理学会研究報告ソフトウェア工学(SE) 2004(30) 201-208 2004年3月19日
-
情報処理学会研究報告ソフトウェア工学(SE) 2003(60) 31-38 2003年5月30日
-
情報処理学会研究報告ソフトウェア工学(SE) 2003(60) 39-44 2003年5月30日
-
情報処理学会研究報告ソフトウェア工学(SE) 2002(23) 195-202 2002年3月7日
-
情報処理学会研究報告ソフトウェア工学(SE) 2002(23) 187-194 2002年3月7日
-
情報処理学会研究報告ソフトウェア工学(SE) 2001(114) 41-46 2001年11月21日
-
情報処理学会研究報告ソフトウェア工学(SE) 2001(114) 47-54 2001年11月21日
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 101(359) 33-40 2001年10月12日
-
情報処理学会研究報告ソフトウェア工学(SE) 1999(28) 33-40 1999年3月18日
-
Proceedings of the Seventh International Workshop on Program Comprehension 126-133 1999年
-
福岡工業大学情報科学研究所所報 (10) 97-108 1998年10月
-
情報処理学会研究報告ソフトウェア工学(SE) 1998(38) 17-24 1998年5月15日
-
SECOND EUROMICRO CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS 172-178 1998年 査読有り筆頭著者
-
Proceedings of 3rd International Software Architecture Workshop, ACM Press 163-166 1998年
-
FOURTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS - PROCEEDINGS 87-98 1998年
-
情報処理学会研究報告ソフトウェア工学(SE) 1997(110) 85-92 1997年11月21日
-
NEW TECHNOLOGIES ON COMPUTER SOFTWARE 135-142 1997年
-
1996 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS 282-291 1996年
-
TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS 20 312-320 1996年 査読有り筆頭著者
共同研究・競争的資金等の研究課題
9-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2021年4月 - 2024年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2020年4月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2019年4月 - 2022年3月
-
日本学術振興会 科学研究費基盤A 基盤研究(A) 2018年4月 - 2022年3月
-
日本学術振興会 科学研究費 研究活動スタート支援 研究活動スタート支援 2016年8月 - 2018年3月
-
日本学術振興会 科学研究費基盤C 基盤研究(C) 2005年4月 - 2005年12月
-
日本学術振興会 科学研究費基盤C 基盤研究(C) 2003年4月 - 2005年3月
-
日本学術振興会 科学研究費 若手研究(B) 2001年4月 - 2003年3月
-
日本学術振興会 科学研究費 奨励研究(A) 1999年4月 - 2001年3月