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