叢が東工大挑戦的研究賞を受賞

が「曖昧な仕様を保証するための型付きプログラミング言語の開発」という題目の研究課題に関して、令和5年度東工大挑戦的研究賞を受賞しました。

大学 Web ページのお知らせへのリンク