ページの先頭です

研究科紹介

小島 英春
助教 Hideharu Kojima

小島 英春 こじま ひではる

  • 情報システム工学専攻
  • ディペンダビリティ工学講座

研究テーマ・概要

ネットワークプロトコル

みなさんが日常利用されているネットワークの裏側では、さまざまな機器、ソフトウェアが利用されています。役割の一つとして、経路制御があります。これは、ネットワークを流れるデータが宛先までどの道を通るかを決定したり、断線、混雑、機器が故障している経路を回避する道を見つけたりします。これはルーティングプロトコルと呼ばれています。このプロトコルが正しく動くことで、ネットワーク上を流れるデータは正しく宛先まで届けられます。しかし、プロトコルが正しく動くことをどのように調べればよいのでしょうか。そのための方法としてモデル検査、プロトコルテストなどがあります。

私の研究は、いかに効率よく検査やテストを行うかに焦点を当てています。また、通信経路の機器の故障、混雑など、障害が発生したとしても通信が可能な高信頼なプロトコルについても研究を行っています。

略歴

2001年 広島市立大学 修士(情報工学)
2009年 広島市立大学 博士(情報工学)
2009年 広島大学大学院 医歯薬学総合研究科 特任助教
2010年 広島市立大学大学院 情報科学研究科 特任助教
2012年 大阪大学大学院 情報科学研究科 助教

連絡先

4桁の番号は同キャンパス内からの内線番号です。外線からは、吹: 06-6879-xxxx、吹*: 06-6105-xxxx、豊: 06-6850-xxxx、吹()、豊(): 06-6879-5111(交換台経由)となります。
メールアドレスは、末尾の “osaka-u.ac.jp” が省略されていますので、送信前に“osaka-u.ac.jp”を付加してください。