研究室紹介
主な研究内容
形式手法
- 数理論理学の手法を様々なものに適用
- 計算機科学における、システムの安全性の検査などに応用
スマートモビリティシステム
- 人やモノの移動に関する事柄を研究
- ITS(Intelligent Transportation System)によってシミュレーション環境を構築し、実験を行う
複合現実(MR：Mixed Reality)
- 現実の世界のオブジェクトとバーチャルなオブジェクトが相互にインタラクションするような世界
- Hololensを用いたアプリケーションの実装
IoT(Internet of Things)
- 様々なモノがインターネットに接続された世界
- IoTブロック "MESH" やスマートウォッチを用いたサービスやアプリケーションを開発