CV 詳細はSOAR参照
日経テクノロジーOnlineに検証技術と組込みシステムに関する記事があります
2016.3.22 情報ライブ ミヤネ屋（読売テレビ）に航空会社システム障害の件で電話出演しました
平成8年 1996 年度LA シンポジウム事務局庶務
平成11年 5月 電子情報通信学会査読委員（現在に至る）
平成11年 5月 情報処理学会査読委員（現在に至る）
平成14年 5月 電子情報通信学会ソフトウェアサイエンス研究会専門委員(平成23年5月まで)
平成16年 2004 年度ソフトウェアシンポジウムPC
平成16年 2004 年度LA シンポジウム事務局庶務
平成17年 日本ソフトウェア科学会プログラミングおよびプログラミング言語 ワークショップPPL 2005 PC (平成18年 まで)
平成19年 日本ソフトウェア科学会ソフトウェア工学の基礎研究会ワークショップ FOSE 2007 PC (平成24年 まで)
平成19年 情報処理学会組込みシステム研究会シンポジウム ESS 2007 PC (平成24年 まで)
平成20年 5月 情報処理学会ソフトウェア工学研究会運営委員(平成24年5月まで)
平成20年 国際会議Asia-Pacific Software Engineering Conference APSEC 2008
平成21年 国際会議Adaptive Systems in Heterogeneous Environments ASHEs 2009 PC
平成21年 情報処理学会ソフトウェアエンジニアリングワークショップ SES 2009 PC (継続中)
平成21年 国際会議Australasian Software Engineering Conference ASWEC 2009 PC
平成21年 国際会議Asia-Pacific Software Engineering Conference APSEC 2009 PC
平成22年 2月 日本ソフトウェア科学会会員(継続中)
平成22年 国際会議Australasian Software Engineering Conference ASWEC 2010 PC
平成22年 国際会議International Workshop on Informatics IWIN 2010 PC
平成23年 5月 情報処理学会ソフトウェア工学特集号編集委員(平成25年5月まで)
平成23年 5月 電子情報通信学会英文D 誌フォーマルアプローチ特集号 編集委員会委員(24年5月まで)
平成23年 5月 電子情報通信学会和文論文誌D 編集委員会委員(継続中)
平成23年 5月 電子情報通信学会和文論文誌D 学生論文特集号 編集委員会委員(継続中)
平成23年 5月 情報処理学会論文誌ジャーナル/JIP 論文誌編集委員会委員(継続中)
平成23年 国際会議International Workshop on Informatics IWIN 2011 PC
平成24年 5月 電子情報通信学会英文D 誌フォーマルアプローチ特集号 編集委員会幹事(2014年5月まで)
平成24年 5月 電子情報通信学会シニア会員
平成23,24 年 情報処理学会関西支部実践ソフトウェア工学研究会幹事
平成24年 国際会議IWIN 2012 PC Chair
平成24年 11月 電子情報通信学会和文論文誌D システム論文特集号 編集委員会委員(2013年11月まで)
平成25年 2月 電子情報通信学会和文論文誌D ソフトウェア基礎・応用特集号 編集委員会幹事 (平成25年11月まで)
平成25年 国際会議International Workshop on Informatics IWIN 2013 PC Chair
平成25年 情報処理学会組込みシステム研究会シンポジウム ESS2013 共同PC 副委員長
平成25年日本ソフトウェア科学会ソフトウェア工学の基礎研究会ワークショップ FOSE 2013 共同PC 委員長
平成25年 日本ソフトウェア科学会 ソフトウェア工学特集号 編集委員
平成26年 情報処理学会組込みシステム研究会シンポジウム ESS2014 PC 委員長
平成26年 国際会議International Workshop on Informatics IWIN 2014 General Co-Chair
平成26年 5月 電子情報通信学会英文D 誌フォーマルアプローチ特集号 編集委員会委員長
平成26年 IPA 製品・制御システム高信頼化部会 障害原因診断WG 委員
平成27年 国際会議 Asia-Pacific Software Engineering Conference APSEC 2015 PC
平成27年 情報処理学会組込みシステム研究会シンポジウム ESS2015 実行副委員長
平成27年 2月 電子情報通信学会和文論文誌D ソフトウェア基礎・応用特集号 編集委員会幹事 (平成27年11月 まで)
平成27年 日本ソフトウェア科学会ソフトウェア工学の基礎研究会ワークショップ FOSE 2015 PC (平成27年-継続中)
平成27年 情報処理学会論文誌 ソフトウェア特集号編集委員
平成27年 情報処理学会東海支部委員
平成28年 国際会議International Workshop on Informatics IWIN 2016 General Co-Chair
平成28年 情報処理学会組込みシステム研究会シンポジウム ESS2016 実行委員長
平成28-29年 情報処理学会組込みシステム研究会幹事
平成29年 IPA 製品・制御システム高信頼化部会IoTシステム安全性向上技術WG 委員
令和2年6月-4年5月 電子情報通信学会ソフトウェアサイエンス研究会専門副委員長
平成9年3月 情報処理学会大会優秀賞
平成20年10月 情報処理学会組み込みシステムシンポジウム奨励賞
平成22年10月 International Workshop on Informatics, Best Paper Award
平成27年1月 IPA/SEC Journal論文賞 2014年度 SEC所長賞