教員紹介

｜研究テーマ｜

■ソフトウェア工学-高信頼ソフトウェア開発支援環境の構築

高信頼なソフトウェアの開発においては、開発支援環境の整備が不可欠です。近年、AIや量子コンピュータの急速な進展に伴い、従来とは異なる特性を有する確率的プログラムや量子プログラムの開発が重要視されつつあります。しかし、これらのプログラム開発においては、従来の開発支援技術やツールをそのまま流用しているのが現状であり、各プログラムが持つ特有の性質を十分に活かしきれていない課題があります。本研究室では、このような背景を踏まえ、確率的・量子プログラムが持つ新たな特徴を考慮したソフトウェアの分析、テスト、デバッグ、保守・運用技法の確立及び新たな開発支援環境の構築を目指しています。

 ■理工学部を目指す高校生へのメッセージ

皆さん、夢を持って、それに向かって頑張りましょう! 　To dream the possible dream! 
 

■プロフィール

中国の清華大学にて学士号を取得後、九州大学にて修士号および博士号を取得。
中国および日本の企業において約10年間にわたりエンジニアとして
実務経験を積んだ後、2010年より教育・研究分野に従事。
中国・上海交通大学を経て、2019年に九州産業大学の准教授に就任。
専門はソフトウェア工学であり、現在は日本学術振興会 (JSPS) の
科学研究費助成事業の下、信頼性の高いプログラムの開発支援に取り組んでいる。
情報処理学会・IEEE 会員。