日本学術振興会賞は、優れた研究を進めている若手研究者を見い出し、早い段階から顕彰してその研究意欲を高め、独創的、先駆的な研究を支援することにより、日本の学術研究の水準を世界のトップレベルにおいて発展させることを目的に日本学術振興会によって16年度に創設されたものです。

　小林教授は，ソフトウェア検証のための型理論に関する業績が認められ，第5回日本学術振興会賞を受賞しました。

情報科学研究科　What's New!

問合せ先：　情報科学研究科　学術振興?広報委員会
TEL：　022-795-5813