九州大学 研究者情報
キーワードで探す 検索機能の使い方
キーワード
検索対象
※ 研究者情報全体を検索する場合は右端の「すべて」を選択して下さい。
詳細検索へ

研究者情報 (研究者の方へ)入力に際してお困りですか？
基本情報 研究活動 教育活動 社会活動
趙 建軍（ちょう けんぐん） データ更新日：2023.07.19

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


大学院(学府)担当

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

学部担当

工学部 電気情報工学科 電気情報工学


ホームページ
https://kyushu-u.pure.elsevier.com/ja/persons/jianjun-zhao
　研究者プロファイリングツール　九州大学Pure
http://stap.ait.kyushu-u.ac.jp/~zhao/
取得学位
博士（情報科学、九州大学）, 学士（計算機科学、清華大学）
専門分野
ソフトウェア工学、プログラミング言語
活動概要
プログラム解析や検証、ソフトウェアテストなどの技術を用いて、より信頼性と安全性の高いソフトウェアシステムを構築することを目指しています。具体的には、ソフトウェアシステムにおける不具合やバグを深く理解し、ソフトウェアシステムの信頼性と安全性を保証する方法を探求しています。また、プログラムコートの自動生成、プログラムのバグの自動修復などの方法を研究しています。


本データベースの内容を無断転載することを禁止します。

九大関連コンテンツ

pure2017年10月2日から、「九州大学研究者情報」を補完するデータベースとして、Elsevier社の「Pure」による研究業績の公開を開始しました。
　
QIR　九州大学学術情報リポジトリ システム情報科学研究院
システム情報科学研究院
Copyright © 2006, Kyushu University. All rights reserved.