2011.7-2012.2
技能試験 (Proficiency Testing) の枠組みを活用してモデル検査技術演習(PT001)を企画・開催しました。
2011.10.01
計測標準研究部門へ戻りました。
2010.10.01 - 2011.9.30
イノベーション推進本部 国際標準推進部門 試験システム開発支援室へ出向しました。
2010.04.01
つくばの計測標準研究部門へ異動しました。
2010.03.31
独立行政法人産業技術総合研究所 システム検証研究センター 
卒業。
同センターは平成１６年４月より６年間の計画でスタートし、最終年度の平成２２年３月末日をもって終了いたしました。
計量情報システム、 ソフトウェア（の）認証、 ソフトウェアの適合性評価技術、 ソフトウェア検証技術の技能試験
システム検証技術、 数理的手法（含む形式手法）、 プログラミング言語の意味論
証明ファイル: O.Takaki, M.Takeyama, H.Watanabe, Verification of correctness of TSR via PVS