木下佳樹

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

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

経歴

プログラミング科学（算譜意味論、算譜検証論、妥当性確認論）
2018年「2018年IEC1906賞」受賞
2018年AIのアシュランスに関する日英国際共同研究「国際研究プロジェクトTIGARS」（ヨーク大学、Adelard LLP、株式会社WITZ、ロンドン市立大学、名古屋大学、神奈川大学の共同チーム）（研究期間2018年9月20日～2019年12月31日）^[3]