![キーワードで探す](/search/images/top/search_header.jpg)
![](/search/images/common/left_column_bottom.jpg)
![研究者情報](/search/images/details/detail_header.jpg)
趙 建軍(ちょう けんぐん) | データ更新日:2024.06.27 |
![](/search/images/details/name_line.gif)
大学院(学府)担当
学部担当
ホームページ
https://kyushu-u.elsevierpure.com/ja/persons/jianjun-zhao
取得学位
博士(情報科学、九州大学), 学士(計算機科学、清華大学)
専門分野
ソフトウェア工学、プログラミング言語
活動概要
プログラム解析や検証、ソフトウェアテストなどの技術を用いて、より信頼性と安全性の高いソフトウェアシステムを構築することを目指しています。具体的には、ソフトウェアシステムにおける不具合やバグを深く理解し、ソフトウェアシステムの信頼性と安全性を保証する方法を探求しています。また、プログラムコートの自動生成、プログラムのバグの自動修復などの方法を研究しています。
![](./images/common/left_column_bottom.jpg)
![](/search/images/common/left_column_top.gif)
本データベースの内容を無断転載することを禁止します。
![](./images/common/left_column_bottom.jpg)
九大関連コンテンツ
QIR 九州大学学術情報リポジトリ システム情報科学研究院
システム情報科学研究院
- デバイスシミュレータを用いた論理回路のソフトエラー解析
- ハイブリッド環境下の大学図書館における学術情報サービスの構築
- A Run-Time Power Analysis Method using OS-Observable Parameters for Mobile Terminals
- Microwave-assisted magnetization reversal in a Co/Pd multilayer with perpendicular magnetic ...
- Modeling Costs of Access Control with Various Key Management Systems