麻豆AV

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

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

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

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

 

 

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

広島大学大学院先进理工系科学研究科　情報科学プログラム

教授　劉  少英

罢贰尝：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（工学系総括支援室）