高木 理

知識科学研究科（知識科学専攻・知識メディア領域）
助教

専門

知識モデル、知識創造フレームワーク

学位

博士（数学）京都産業大学

職歴

日本学術振興会特別研究員、京都大学非常勤講師、独立行政法人産業技術総合研究所特別研究員、京都産業大学特約講師、独立行政法人産業技術総合研究所招聘研究員

主な活動・著書・論文など

• International Journal On Advances in Software: Editorial Board Member
• Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi（2009）"Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles", International Journal On Advances in Software, Vol.2, No.1, pp.147-161.