木下佳樹

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

 経歴 
東京大学大学院理学系研究科情報科学専攻修了。理学博士。日本科学技術連盟第49回信頼性・保全性シンポジウム登壇後援者木下佳樹「ディペンダビリティ標準の新しい動向〜新国際標準IEC 62853がもたらすもの」
テキサスインスツルメンツ・アジア・リミテッド
通商産業省工業技術院電子技術総合研究所主任研究官
独立行政法人産業技術総合研究所システム検証研究センター長
神奈川大学理学部情報科学科教授
神奈川大学プログラミング科学研究所所長

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

 著作・文献 

 脚注 

外部リンク


 KAKEN 木下佳樹
 研究者情報 - 神奈川大学
 理学部情報科学科 木下佳樹教授 - 神大の先生

Category:日本の情報学者
Category:神奈川大学の教員
Category:東京大学出身の人物
Category:存命人物