インターネットをはじめとして、現代社会を支えるほとんど全てのシステムは、計算機やロボットなどの多数の自律的デバイスが協調して動作する分散システムです。計算機ネットワーク、モバイルロボット群、ブロックチェーン、センサネットワーク、ナノスケールネットワークなど、さまざまな分散システムを対象に、高効率かつ高信頼な分散アルゴリズムの理論的研究を行なっています。特に、システムの一部のデバイスが故障によって停止したり、クラッキングなどにより異常動作を起こしたりした場合でも、システム全体としては正常な動作を継続できるような分散アルゴリズムの設計に取り組んでいます。
2026.4.1 大下研究室のページを公開しました。
2026.2.17 国際会議SIROCCO2026 で共著論文2本が採択されました。