1975年東京教育大学理学部応用数理学科卒。
同年野村コンピュータシステム（現野村総合研究所）入社。
証券情報システム構築、第２次オンラインシステム構築、 ソフトウェア開発・保守環境（ＳＭＥＦ）の構築、社内へのＵＮＩＸおよびワークステーション導入などに従事。
1987年SRA入社。
電力会社・電気メーカーなどへの構造化分析/設計・CASEなどのコンサルティング、および社内･社外へのソフトウェア工学教育などに従事。
1994年からSmalltalkチームを発足させ、Smalltalk製品の販売・Smalltalkソフトウェアの開発・Smalltalkの教育・オブジェクト指向分析／設計のコンサルティングなどに従事。
オブジェクト指向分析／設計のコンサルティングを行いつつ、Smalltalk環境上に形式仕様記述言語その他の形式技術支援ツールを載せたCASE環境構築を研究。
ソフトウェア工学全般、オブジェクト指向分析／設計、CASEおよびプロジェクト管理のコンサルティングを行った。
2000年8月日本フィッツ入社。
オブジェクト指向形式仕様記述言語VDM++を仕様記述言語として、証券会社のバックオフィスシステムを構築中。VDMToolsの販売も行う。
2005年10月合併によりCSKシステムズ移籍
VDMの普及・技術コンサルティング・教育・VDMコーディングなどを行った。
2010年10月CSKグループ再編により（株）CSK ITソリューション社 移籍
現在は、産業システム事業本部製造システム事業部第一開発課で、VDMの普及・技術コンサルティング・教育・VDMコーディングなどを行っている。
過去の主要顧客：
野村證券、国際証券、東北電力、グローリー工業、キャノン、動力炉・核燃料開発事業団、九州大学病院、松井証券、ソニー。
言語（特に関数型言語Concurrent Clean・仕様記述言語VDM++・オブジェクト指向言語Smalltalk）、形式手法、モデリング、ハイパーテキスト、CASEに興味を持つ。
趣味はサッカーと囲碁およびソフトウェア収集とプログラミング。
FME、ソフトウェア技術者協会（SEA）、 ソフトウェア科学会、情報処理学会の会員。SEAの形式手法分科会(sigfm)世話人。Formal Method 2003, Formal Method 2005プログラム委員。Overture Workshop 2006, 2011プログラム委員。Overture Workshop 2008副委員長。VDM Overture Projectメンバー。VDM Language Board 2010, 2011メンバー。
