計算機科学研究室
安全で効率のよい分散並列システムの基盤確立と教育研究支援環境の構築
安全で効率のよい分散並列システムの基盤確立
計算機やロボットなどの自律的に動作するもの(計算主体という)が相互作用をすることによって，全体として協調的な振る舞いをするシステムを分散並列シス テムといいます．クラウドコンピューティング，モバイル・ユビキタス環境，ソーシャルシステムのような大規模計算機ネットワーク，スパコンのような超大規模並列計算機，センサーネットワーク，DNAや分子を計算機と見立て化学反応によって計算を行う駆動粒子計算まであらゆる種類の分散並列システムを安全に 効率よく動作させるための方法論を研究しています．計算主体がたくさん集まればどのようなものでも分散並列システムになりますが，たくさん集まったときの複雑さを解き明かす研究を行っています．
教育研究支援環境の構築
教員による学生の教育，講義における学生の学習，学生の研究を支援する環境を構築するための方法論を研究します．使えるものはフルに使って，以上のことが効果的かつ効率的にできることを目指しています．
研究テーマ
担当科目
研究業績及び受賞歴
著書
学会活動・社会活動
学生の皆さんへのメッセージ
研究テーマ
・耐故障性大規模並列分散システムの構築
・グラフアルゴリズム
・自律分散ロボット群制御アルゴリズム
・ビッグデータ処理とデータマイニング
・計算機科学における諸概念の可視化
担当科目
【理工学部】
情報工学入門，計算機アーキテクチャ，計算機アーキテクチャ演習，アセンブリ言語，アセンブリ言語演習，ハードウエアアルゴリズム，分散アルゴリズム，情報工学実験II，情報工学実験III，情報工学ゼミナール，PBL, 卒業研究，卒業研究ゼミナール
【大学院・工学研究科】
計算機システム工学特論1，計算機システム工学特論2，応用情報工学特別研究，応用情報工学特別実験
研究業績及び受賞歴
【学術論文，国際会議】
1. Rendezvous of Asynchronous Mobile Robots with Lights, T. Okumura, K. Wada, Y. Katayama, LNCS Festschrfit for Juraj Hromkovic, to appear (2018)
2. Designing a Maintenance Free Multi-Channel Wireless Sensor Network Protocol, Nur Sazwani Ghazali, Sabariah Baharunm, A. K. M. Muzahidul Islam, K. Wada, UTM Jurnal Teknologi, Vol. 80, No.2 (Mar. 2018), 67-75.
3. Rendezvous and Gathering for Asynchronous Mobile Robots with Lights—Relationship between power of lights and synchrony, K. Wada, MoRoVer: Mobile Robots and Verification, (Nov. 2017).
4. Brief Announcement: Optimal Asynchronous Rendezvous for Mobile Robots with Lights, T. Okumura, K. Wada, Y. Katayama, 19th International Symposium of Stabilization, Safety, and Security of Distributed Systems (SSS 2017), LNCS 10616, (Nov. 2017) 484-488.
5. Rendezvous of Autonomous Mobile Robots with Lights in Asynchronous Schedulers, T. Okumura, K. Wada, Y. Katayama, The 20th Korean-Japan Joint Workshop on Algorithms and Computation (WAAC2017), (August 2017),1-8.
6. Computing by Luminous Robots, Research Meeting and School on Distributed Computing by Mobile Robots (MAC 2017), (June 2017).
7. Computational Power of Autonomous Mobile Robots with Lights—Boundary between Solvability and Unsolvability，Keynote speech on The 4th International Symposium on Computing and Networking (CANDAR 2016), (Nov. 2016), 1-15.
8. Parallel Complexity on MapReduce Computation, Keynote speech on 1st International Conference on Advanced Information and Communication Technology 2016 (ICAICT 2016), (May 2016).
9. Adaptive Tree-Based Routing for Multi-Channel Wireless Sensor Network, N. S. Ghazali, S. Baharun, A. K. M. Muzahidul Islam, K. ,Wada, to appear in 3rd International Conference on Advances in Electrical Engineering (ICAEE), (Dec. 2015)
10. A New Model of Mobile Robots with Lights and Its Computational Power, K. Wada, Y. Katayama, S. Terai, 5th Workshop on Moving And Computing (MAC 2015), (Oct. 2015).
11. A New Model for Autonomous Mobile Robots with Lights and Its Solvability of Gathering Problems, S. Terai, K. Wada, Y. Katayama, Workshop on Distributed Robotic Swarms (WDRS 2015) in DISC 2015, (Oct. 2015).
12. Approximability of Minimum Certificate Dispersal with Tree Structures, Ta. Izumi, To. Izumi, H. Ono, K. Wada, Theoretical Computer Science, 591,(Aug 2015) 5-14.
13. Corrigendum to “On the approximability and hardness of minimum topic connected overlay and its special instances”, Theoretical Computer Science,429(2012) 144-154], J. Hosoda, J. Hromkovic, T. Izumi,, H. Ono, M. Steinova, K. Wada, Theoretical Computer Science, 562 (Jan. 2015), 660-661. doi:10.1016/j.tcs.2014.11.001
14. Dynamic cluster-based architecture and data congregation protocols for wireless sensor network, A.K.M.M. Islam, K. Wada, W. Chen, International Journal of Innovative Computing, Information and Control(IJICIC), 9, 10(Oct. 2013)4085-4100.
15. Computational Models for Big Data Processing, K. Wada, Key Note of 6th International Workshop on Parallel and Distributed Algorithms and Applications(PDAA), CANDAR 2014, (Dec. 2014),28-31
16. Adaptive Multi-Channel Protocol for Wireless Sensor Network, N. S. Ghazali, S. Baharun, K. Wada, A. K. M. Muzahidul Islam, 7th AUN/SEED-NEXT Conference on EEE, (Nov. 2014),1-4.
17. Space-efficient self-stabilizing counting population protocols on mobile sensor networks, To. Izumi, K. Kinpara, Ta. Izumi, K. Wada, Theoretical Computer Science, 552 (Oct. 2014), 99-108.
18. Self-stabilizing DAG-constructing protocols with application to geocast in MANET, K. Ito, Y. Katayama, K. Wada, N. Takahashi, 15th International Symposium of Stabilization, Safety, and Security of Distributed 19. Systems (SSS 2013), LNCS 8255, (Nov. 2013) 273-275.
On Gathering and Circle Formation for Solid Robots, K. Wada, Y. Katayama, Research meeting on Distributed Computing by Mobile Robots (MAC 2013), (Jul. 2013)
20. CoAd: A cluster based adhoc cognitive radio networks architecture with broadcasting protocol, N. Mansoor, A.K.M. Islam, S. Baharun, S. Komaki, K. Wada, 2013 2nd International Conference on Informatics, Electronics, & Vision , 1-6 (ICEIV), (2013) 1-6.
21. Communication protocols on dynamic cluster-based wireless sensor network, A.K.M. Islam, A. Zeb, K. Wada, 2013 2nd International Conference on Informatics, Electronics, & Vision (ICIEV) (2013) 1-6.
【受賞】
電子情報通信学会フェロー
人工知能学会研究優秀賞 等
著書
情報数学（第2版），陳，和田共著，森北書店，(2017-10)．
情報数学，陳，和田共著，森北書店，(2014-11)．世界標準 MIT教科書アルゴリズムイントロダクション第3版，T.コルメン，C.ライザーソン，R.リベスト，C.シュタイン共著，浅野，岩野，梅尾，山下，和田共訳，近代科学社，(2013-12)．
学会活動・社会活動
【学会活動・社会活動】
電子情報通信学会コンピュテーション研究会委員長
電子情報通信学会和文論文誌D編集副委員長
電子情報通信学会英文論文誌D編集委員長
電子情報通信学会編集顧問会顧問
電子情報通信学会英文論文誌D編集委員会英文アドバイザリー
情報処理学会アクレディテーション委員会委員 等
The 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems(SSS2009) PC co-chairs(track: Selfstabilization)
29th International Symposium on Distributed Computing (DISC 2015) Organizing co-chairs.
The 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems(SSS2015) PC member(track: Ad-hoc and Sensor Networks).
24th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2017) PC ember.
The 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems(SSS2017) PC member(track: Stabilizing Systems: Theory and Practice).
The 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems(SSS2018) Organizing co-chairs.
ACM(Association of Computing Machinery)
IEEE(The Institute of Electrical and Electronics Engineers)
EATCS(European Association for Theoretical Computer Science)
電子情報通信学会
情報処理学会
LAシンポジウム
各会員
学生の皆さんへのメッセージ
超並列計算機や大規模分散システムを安全にかつ効率よく構成するための方法論を研究しています．研究は高校までの学習とは異なり，これまでになかった新しいものを創造していかなければなりません．君たちの若い力を最大限に発揮して，柔軟な頭でとことん考え抜くことによって，新しい並列・分散システムを一緒に創りだしてみませんか．
