Eijiro Sumii (Associate Professor, Graduate School of Information Sciences) was chosen to receive the IBM Japan Science Prize (Computer Science). He developed the first proof method of program equivalence in a large class of high-level languages. His research has been published in top journals and conferences including the Journal of the ACM.

URL：http://www-06.ibm.com/jp/press/2011/11/1101.html (IBM Japan)