コンピュータ科学科 劉少英教授が2016年度 IEEE Reliability Society Japan Joint Chapter 論文賞を受賞

本学部コンピュータ科学科 劉少英教授が、李獏 氏（情報科学研究科博士後期課程2015年度修了生）と共著の論文“Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems”で、2016年度 IEEE Reliability Society Japan Joint Chapter 論文賞を受賞しました。授賞式は2017年6月17日(土)に首都大学東京 秋葉原サテライトキャンパスにて執り行われました。

なお、同Chapterの2016年度Awardにおいては、本学理工学研究科在学生の太田修平氏も学術奨励賞を受賞しています。