木下佳樹

国籍 日本

出身校 東京大学
東京大学大学院理工学研究科

研究分野 ソフトウェア科学
プログラム意味論

研究機関 神奈川大学

木下佳樹
（きのした よしき）

人物情報
国籍	日本
出身校	東京大学 東京大学大学院理工学研究科
学問
研究分野	ソフトウェア科学 プログラム意味論
研究機関	神奈川大学
学位	理学博士
主な業績	整合性検査装置、整合性検査方法、及びプログラム（特許第5660503号）
学会	情報処理学会 日本ソフトウェア科学会
主な受賞歴	IEC 1906 award 国際規格開発賞
公式サイト
木下研究室
脚注 神奈川大学研究者情報
テンプレートを表示

木下 佳樹（きのした よしき）は、日本の情報学者である。専門はプログラミング科学。^[1]神奈川大学プログラミング科学研究所所長。