安藤 崇央（あんどう たかひろ） 
所属・職位
群馬大学 情報学部・大学院情報学研究科 / 大学院理工学府 電子情報部門 准教授
研究概要
ソフトウェア工学、主にソフトウェアライフサイクルの各段階に形式手法を適用する手法やツールについて研究・開発を行っている。
また、近年ではスマートモビリティに関する研究にも携わっている。
担当科目
- 教養教育
- 学びのリテラシー（1）
- 情報学部
- プログラミング言語3
- プログラミング言語4
- 大学院情報学研究科 / 大学院理工学府
- ソフトウェア工学特論
経歴
| 年月 | 学歴・職歴 |
|---|---|
| 1998年4月 | 東京工業大学 工学部 入学 |
| 2002年3月 | 東京工業大学 工学部 情報工学科 卒業 |
| 2002年4月 | 東京工業大学 大学院情報理工学研究科 計算工学専攻 博士前期課程 入学 |
| 2004年3月 | 東京工業大学 大学院情報理工学研究科 計算工学専攻 博士前期課程 修了 |
| 2004年4月 | 東京工業大学 大学院情報理工学研究科 計算工学専攻 博士後期課程 入学 |
| 2010年3月 | 東京工業大学 大学院情報理工学研究科 計算工学専攻 博士後期課程 単位取得後退学 |
| 2010年5月 | 産業技術総合研究所 関西センター 組込みシステム技術連携研究体 テクニカルスタッフ |
| 2012年4月 | 産業技術総合研究所 セキュアシステム研究部門 テクニカルスタッフ |
| 2012年9月 | 九州大学 大学院システム情報科学研究院 情報知能工学部門 学術研究員 |
| 2014年4月 | 東京工業大学 大学院情報理工学研究科 計算工学専攻 博士（工学） 学位取得 |
| 2017年8月 | 九州大学 大学院システム情報科学研究院 情報知能工学部門 特任准教授 |
| 2020年4月 | 群馬大学 大学院理工学府 電子情報部門 准教授 |
| 2021年4月 | 群馬大学 情報学部 准教授 |
連絡先
- 〒371-8510
群馬県前橋市荒牧町4-28号館 1F 115室 - TEL : 027-220-7569 (直通)
- E-mail : ando.takahiro (at) gunma-u.ac.jp