/


木下佳樹 (KINOSHITA Yoshiki)


所属

Research Center for Verification and Semantics / システム検証研究センター
National Institute of Advanced Industrial Science and Technology
産業技術総合研究所

住所
〒560-0083
大阪府豊中市新千里西町1-2-14三井住友海上千里ビル5階
産業技術総合研究所 システム検証研究センター
電話
06-4863-5014
ファクス
06-4863-5052
電子メイル
URL
http://staff.aist.go.jp/kinoshita.yoshiki/
略歴
学歴:
昭和56年 東京大学理学部情報科学科卒業
平成元年 東京大学大学院理学系研究科博士課程情報科学専攻修了

学位:
平成元年 理学博士(情報科学) 取得 (東京大学)

主な職歴:
昭和56年4月 日本テキサスインスツルメンツ株式会社勤務(昭和58年3月まで)
平成元年4月 通商産業省工業技術院電子技術総合研究所言語システム研究室研究員
平成 3年9月 通商産業省工業技術院電子技術総合研究所言語システム研究室主任研究官
平成13年4月 独立行政法人産業技術総合研究所情報科学連携研究体主任研究員
平成14年4月 同 情報処理研究部門情報科学研究グループ長
平成15年4月 同 システム検証研究ラボ長
平成16年4月 同 システム検証研究センター長
所属団体
日本ソフトウェア科学会
国際数理科学協会
情報処理学会
興味

著作物一覧
「圏論の諸相」スライド (pdf) (2006.9.12日本ソフトウェア科学会チュートリアル)
「A relation algebraic semantics of reversible loop programs」スライド (pdf) (2007.7.3日本ソフトウェア科学会ディペンダブルシステム研究会講演)

進行中の仕事