本学研究者の紹介

情報科学研究科

川端 英之(カワバタ ヒデユキ)
専攻等 情報工学専攻 コンピュータアーキテクチャ研究室
職名 准教授
研究分野 ソフトウェア、計算機システム・ネットワーク
研究概要 高品質なソフトウェアとその開発効率化技術の研究を行なっています。ソフトウェアの高品質性に関しては、高速性や並列処理効率などの処理性能を高めるための高度最適化技術や、プロダクトが要求仕様を満足していることを保証するソフトウェア検証とその支援技術、超高精度数値計算などの特殊機能を提供するライブラリの開発技術の研究に取り組んでいます。また高品質なソフトウェアの開発効率を高めるためのユーザ支援環境の研究も行っています。
研究テーマ 高速な高精度数値計算ライブラリの開発、形式手法によるソフトウェア仕様検証支援および仕様からのソフトウェア導出 、データマイニング等に基づくソフトウェア開発支援情報抽出とその応用
研究キーワード プログラミング言語処理系、数値処理ソフトウェア、並列処理、ユーザインターフェース、ソフトウェア工学
教員総覧URL http://rsw.office.hiroshima-cu.ac.jp/Profiles/3/0000233/profile.html

情報科学研究科研究者一覧に戻る