広島大学広報グループ
E-mail : koho[at]office.hiroshima-u.ac.jp
（[at]は＠に置き換えてください）
TEL：082-424-3701, 3749 / FAX：082-424-6040
〒739-8511 東広島市鏡山1-3-2
教員情報詳細
2025年01月20日 現在
- 劉 少英
（リュウ ショウエイ）
LIU SHAOYING - 教授
| 所属 | 大学院先進理工系科学研究科 |
|---|---|
| 領域 | 情報学《情報学》 |
| 学位 |
西安交通大学 修士（コンピュータ科学） マンチェスター大学 博士（コンピュータ科学） |
| 専門 |
情報学 / 計算基盤 / ソフトウェア |
| 研究キーワード | ソフトウェア工学、形式手法、形式仕様記述技術、ソフトウェアテスト、ソフトウェア形式検証、知的ソフトウェア工学環境 |
| コメント | 中国の西安出身。1982年1月西安交通大学卒業、1984年7月同大学から修士、1992年10月イギリス・マンチェスター大学Ph.Dを獲得。1982年2月から1988年12月まで、西安交通大学助教と講師、1991年5月から1994年3月まで、イギリス・ヨーク大学、ロンドン大学で研究助手、1994年4月から200年3月まで、広島市立大学・助教授、2000年4月から2020年3月まで法政大学教授、2020年4月現在、広島大学大学院先進理工系科学研究科教授。研究分野は、ソフトウェア工学と形式手法です。具体的な研究課題と方向は、形式工学手法、アジャイルSOFL開発手法、形式仕様記述技術、テストに基づく自動形式検証技術、プログラムの厳密なインスペクション技術、ヒューマン・マシンプアプログラミング技術、および知的ソフトウェア工学環境です。IEEE Fellow, BCS Fellow, AAIA Fellow, IPSJおよびIEICEのメンバー。 |
| 研究者総覧 | 研究者総覧のページはこちら |
| 過去のメディア掲載 出演情報 |
|
| ジャンル | |
| SDGsの目標 | |
| 教育プログラム |
【学士課程】 情報科学部 : 情報科学科 : 計算機科学プログラム 【博士課程前期】 先進理工系科学研究科 : 先進理工系科学専攻 : 情報科学プログラム 【博士課程後期】 先進理工系科学研究科 : 先進理工系科学専攻 : 情報科学プログラム |
本学への取材について
本学への取材については、以下の連絡先までご相談ください。
取材申込フォーム
