<主な経歴>
通商産業省工業技術院電子技術総合研究所首席研究官 (1992-1993)、北陸先端科学技術大学院大学情報科学研究科教授（1993-）、ソフトウェア工学国際会議(ICSE)プログラム委員会Co-Chair(1998)、北陸先端科学技術大学院大学情報科学研究科長(2001-2003)

◆主な研究課題
形式仕様言語(Formal Specification Languages)と形式手法(Formal Methods)：
解析や検証が可能なドメイン仕様、要求仕様，設計仕様などを記述し得る形式仕様言語の設計・開発と、それに基づく形式手法の研究開発、普及、実践。1990年代から国際研究チームを組織し形式仕様言語CafeOBJの研究開発を行ってる。CafeOBJ言語を用いたProof Score法による対話的検証技術の研究をすすめ、システム開発の上流工程の質的改革を目指す。

言語設計学：
仕様言語や設計言語の定義法や設計法の研究を通じシステム設計法の基礎科学としての言語設計学の確立を目指す。

<職歴>
北陸先端科学技術大学院大学 助手(1999), 科学技術振興事業団 さきがけ研究21 研究員兼任(2001-2004), 北陸先端科学技術大学院大学 特任助教授(2006)

◆主な研究課題
高信頼性ソフトウェアの開発法：
ソフトウェアは今日の社会生活に欠かせない構成要素となっているため、その高信頼性の実現が不可欠である。高信頼性を実現する1つのアプローチは、ソフトウェア開発において形式手法・検証技術を応用することであり、これらを用いて高信頼性ソフトウェアを開発する現実的な手法の提案を目指す。

ソフトウェアの原理：
バグが入る原因など現在のソフトウェアの原理を明らかにすることは、今後のソフトウェアの健全な発展のために重要である。そこで、なんとなくソフトウェア開発で用いている記法や概念を、ソフトウェアに関する基礎理論を用いて形式化して、その原理を明らかする。

<主な経歴>
大阪大学大学基礎工学部情報工学科助手（1989−1993），奈良先端科学技術大学院大学助教授（1993−2001），同大学教授（2001−），工学博士（1990）．ソフトウェア・シンポジウムプログラム委員長（2001），プロダクト指向ソフトウェアプロセス改善国際会議（PROFES）組織委員長（2004），ソフトウェア工学教育訓練（CSEET）国際会議ショートペーパープログラム委員長（2006）．

◆主な研究課題
実証・実績データに基づくソフトウェア開発支援：
大学の実験室やソフトウェア開発現場で収集した定量的・定性的なデータに基づいて，ソフトウェアの生産性や信頼性向上を目指す．また，定量的・定性的なデータの科学的な扱いを可能とすることで，ソフトウェア工学研究とソフトウェア開発の共生関係を実現する．

ソフトウェア開発におけるインプロセス計測：
ソフトウェア開発の状況を表す定量的データ（ソフトウェア開発データ）を自動収集するとともに，ソフトウェア開発管理に役立つ情報として遅延なくフィードバックする方式を検討し，システム化する．

ソフトウェア開発データリポジトリに対するマイニング：
多数のソフトウェア開発プロジェクトから収集された大量のソフトウェア開発データに対して，データマイニング技術を適用することで，ソフトウェア，その開発プロセス，さらには，開発組織に見られる傾向やパターンを明らかにする．

ソフトウェア開発データ見積りモデル：
従来の回帰分析法だけでなく，系統的類推手法などを用いることで，開発プロジェクトの個別性が高く，データ欠損が多い場合でも，ソフトウェアの開発コスト，リスク，品質などを見積る（予測する）ことのできるモデルを構築する．