【受賞】情報科学プログラムの劉教授が2022年度情報処理会ソフトウェア工学研究会 卓越研究賞を受賞しました

大学院先進理工系科学研究科　情報科学プログラム　劉  少英教授とLIU AI助教が、2022年度情報処理会ソフトウェア工学研究会 卓越研究賞を受賞しました。
同賞は、2022年度情報処理学会ソフトウエア工学研究会で発表した論文が、卓越研究賞にふさわしい優秀な論文と認められたため受賞しました。（受賞日：202２年９月７日）

論文題目： Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages

【情報科学プログラムのページへ】

 

 

【この記事に関するお問合わせ先】

広島大学大学院先進理工系科学研究科　情報科学プログラム（ディペンダブルシステム論）
教授　劉  少英
TEL：082-424-7706

掲載日 : 2022年09月15日


up

先進理工系科学研究科

＜プログラム等別連絡先＞
数学プログラム、物理学プログラム、地球惑星システム学プログラム、化学プログラム、理学部
　〒739-8526　東広島市鏡山1丁目3番1号　 TEL:082-424-7305/FAX:082-424-0709（理学系支援室）

応用化学プログラム、化学工学プログラム、電気システム制御プログラム、機械工学プログラム、輸送・環境システムプログラム、建築学プログラム、社会基盤環境工学プログラム、情報科学プログラム、スマートイノベーションプログラム、工学部、情報科学部
　〒739-8527　東広島市鏡山1丁目4番1号　 TEL:082-424-7506/FAX:082-422-7039（工学系総括支援室）

量子物質科学プログラム
　〒739-8530　東広島市鏡山1丁目3番1号　 TEL:082-424-7004/FAX:082-424-7000（理学系支援室）

理工学融合プログラム(環境自然科学分野)、総合科学部
　〒739-8521　東広島市鏡山1丁目7番1号　 TEL:082-424-6306/FAX:082-424-0751（総合科学系支援室）

理工学融合プログラム(開発科学分野)、広島大学・ライプツィヒ大学国際連携サステイナビリティ学専攻(ジョイント・ディグリー・プログラム)
　〒739-8529　東広島市鏡山1丁目5番1号　 TEL:082-424-6905/FAX:082-424-6904（国際協力学系支援室）

＜お問い合わせ先に困ったらこちらへ＞
　〒739-8527　東広島市鏡山1丁目4番1号　 TEL:082-424-7506/FAX:082-422-7039（工学系総括支援室）