九州大学 研究者情報
研究者情報 (研究者の方へ)入力に際してお困りですか?
基本情報 研究活動 教育活動 社会活動
趙 建軍(ちょう けんぐん) データ更新日:2021.06.21

教授 /  システム情報科学研究院 情報知能工学部門 高度ソフトウェア工学


大学院(学府)担当

システム情報科学府 情報知能工学専攻 高度ソフトウェア工学

学部担当



電子メール *Internet Explorerではメールアドレスが表示されないため、他のWebブラウザ(Chrome、Safari等)をご利用ください。
ホームページ
https://kyushu-u.pure.elsevier.com/ja/persons/jianjun-zhao
 研究者プロファイリングツール 九州大学Pure
取得学位
博士(情報科学)
専門分野
ソフトウェア工学、プログラミング言語、高信頼深層学習システム
活動概要
プログラム解析や検証、ソフトウェアテストなどの技術を用いて、より信頼性と安全性の高いソフトウェアシステムを構築することを目指しています。具体的には、3つの方向性で研究を行っています。

(1)高信頼ソフトウェアシステムの構築:ソフトウェアシステムにおける不具合やバグを深く理解し、ソフトウェアシステムの信頼性と安全性を保証する方法を探求しています。
(2)ソフトウェア構成の自動化:プログラムコートの自動生成、プログラムのバグの自動修復などの方法を研究しています。
(3)量子ソフトウェア工学:量子プログラムの解析、テスト、理解などの方法を研究しています。

九大関連コンテンツ

pure2017年10月2日から、「九州大学研究者情報」を補完するデータベースとして、Elsevier社の「Pure」による研究業績の公開を開始しました。
 
 
九州大学知的財産本部「九州大学Seeds集」