jianjun-zhao

  建軍  教授

研究室 (Pangu Research Lab)

九州大学 システム情報科学研究院 情報知能工学専攻
🏣819-0395福岡市西区元岡744番地ウエスト2号館
メールアドレス: zhao [at] ait [dot] kyushu-u [dot] ac [dot] jp
電話: +81-92-802-3625 (Office)

(English)


      研究分野

   ソフトウェア工学とプログラミング言語 (Software engineering and programming languages) :

   ソフトウェア(プログラム)解析、テスト、及び検証

   プログラムバグの自動修正、プログラムコートの自動生成

   新型プログラミング言語の設計と実装

   高信頼かつ解釈可能な人工知能 (Safety and explainable artificial intelligence) :

   深層学習システムの理解と解釈

   深層学習システムの解析、デバック、テスト及び検証

   高信頼人工知能(深層学習)システムの構築

      個人履歴:

   198209月~198707月、清華大学(Tsinghua University)計算機科学与技術系(工学学士)

   199404月~199703月、九州大学大学院システム情報科学研究科情報工学専攻博士後期課程( 博士(情報科学))

   199704月~200003月、福岡工業大学情報工学科(講師)

   200003月~200510月、福岡工業大学情報工学科(助教授)

   200511月~201505月、上海交通大学ソフトウェア学院(教授

   201506月~201603月、上海交通大学計算機科学与工程系(教授)

   201604月~       現在、九州大学システム情報科学研究院情報知能工学専攻(教授)

   200204月~200303月、マサチューセッツ工科大学MITコンピュータ科学研究所(Visiting Scientist

   201204月~201703月、国立情報学研究所(客員教授)

   201701~    現在、上海交通大学訪問教授


      研究課題

      研究業績 (論文の引用は Google Scholarに参考)

      学会活動

   ICSE 2020

   ESEC/FSE 2019, ASE 2019, ICSR 2019, MLST 2019  (Co-Organizer), Internetware 2019 (General Co-Chair), AWASE 2019 (General Co-Chiar)

   ICSE 2018 (Program Board Member), ICSI 2018, SCAM 2018, ManLang 2018, QRS 2018

   ICECCS 2017 (大会共同委員長), SCAM 2017 (プログラム共同委員長), ICSME 2017 (博士シンポジウム共同委員長), ManLang 2017 (formly PPPJ) , QRS 2017, COMPSAC 2017, ICSME-NIER 2017, NASAC 2017

   Internetware 2016 (プログラム共同委員長) , ICSME 2016 (ERA Track), PPPJ 2016, QRS 2016, COMPSAC 2016

      学生指導

      担当科目

   プログラミング言語論 (学部3年生、令和元年前期)

   技術表現法 (学部3年生、令和元年後期)

   Programming Practice I (国際コース2年生、令和元年前期)

      ソフトウェアアーキテクチャ解析に関する参考文献Bibliography on Software Architecture Analysis

 


更新日期: 20191007 (English)