コンピュータ科学科 劉 少英 教授がIEEEのフェローに認定
コンピュータ科学科 劉 少英 教授がIEEEのフェローに認定されました。
IEEE (Institute of Electrical and Electronics Engineers)は、情報科学分野も含む世界最大規模の専門家組織で40万人以上の会員が所属しています。IEEEフェローは会員資格の中でも最高級のグレードであり、当該の分野で著名な業績を挙げ、その分野に革新的な変化をもたらした会員に与えられる大変栄誉ある資格です。
受賞した研究活動と受賞理由
形式的構造化オブジェクト指向仕様記述言語の設計
1989年にイギリスのマンチェスター大学で研究を始め、以来、科研費に加えて、財団、企業、NII、大学からの研究資金を受け、ソフトウェア開発の形式手法、構造化設計及びオブジェクト指向設計手法の統合に関する先駆的な研究を行い、形式的構造化オブジェクト指向仕様記述言語（Structured Object-Oriented Formal Language）SOFLを設計、｢形式工学手法｣という新たな研究分野を開拓、1997年にICFEMという国際会議を創設し、形式工学手法の研究を幅広く推進してきた。また、形式手法とテスト技術を統合する研究により、自動テストに基づく形式検証という新しいソフトウェア検証理論と技術および仕様アニメーション化技術を開発し、研究機関と企業にSOFL形式工学手法の影響力を拡げてきた。
受賞のコメントと今後の抱負
これまで、長年にわたって研究活動を積極的に支えてくれた大学院生と学生たち、国内外の共同研究者、情報科学部の同僚の先生方、事務室の方々、法政大学の研究開発センターの方々に心から感謝いたします。また、法政大学のインセンティブ政策に研究を積極的にサポートしていただきました。今後は、世界の形式工学手法の研究拠点として、アジャイル形式工学手法の様々な理論と技術を研究し、知能的なソフトウェア工学に焦点を当てて研究を推進していきたいと思います。