リサーチグループ

ラーニングリサーチラボ

学業成績を向上させ、STEM分野のキャリアで成功するために役立つ要因を発見するための縦断研究

サイバーフィジカルシステムラボ

サイバー物理システムの制御プログラムを開発するための理論的基礎、言語、ツール

バイオインフォマティクスグループ

実世界の生物学的および医学的問題に対し、コンピューターサイエンス手法を適用

インテリジェントコラボレーションツールラボ

SE以降のコラボレーションプロセスを研究し、次世代のコラボレーション ツールを実現

BioLabs

細胞分化と老化における基本的なエピジェネティックな調節機構とその役割の発見

HoTTと依存型グループ

ホモトピー型理論に基づいて、依存型言語を作成します

並行コンピューティング

最新の並行アルゴリズムの開発、検証、テスト、およびベンチマーク

並行システムおよび分散システムのアルゴリズム

並行システムと分散システムのアルゴリズムを開発・分析

パラメーター化アルゴリズムラボ

典型的な入力の構造を注意深く理解することにより、計算上困難な問題に対する正確なアルゴリズムを構築します

原子核物理法ラボ

素粒子物理学研究や他の類似分野の計測器や方法を開発

天文粒子物理学

天文粒子物理学のデータ分析に最新の計算技術を応用

ソフトウェア工学における最適化問題

ソフトウェア工学の異なる分野におけるハード最適化問題の解決

ソフトウェア工学における機械学習の方法

両方の領域のベストプラクティスを統合して、コードを開発および改善する新しい方法を生み出します

エージェントシステムと強化学習

AIエージェントの新しいトレーニング手法の開拓

暗号ラボ

情報保護のための暗号方式の研究と応用

検証またはプログラム分析ラボ

ソフトウェア開発における正式な手法を適用して、静的解析、検証、プログラム変換に基づくツールを作成します

機械学習アプリケーションとディープラーニング

多様な問題における最先端の機械学習技術の応用

神経発達・神経生理学グループ

神経組織の発達と関与する細胞プロセスのシミュレーションモデル

移動ロボットアルゴリズムラボ

移動ロボットの自己オリエンテーションアルゴリズムの開発とSLAM問題の解決

プログラミング言語とツールラボ

プログラミング言語とツールの基礎研究を支援

論文アナライザー

ディープラーニングを基盤に、科学バイオメディカル論文から知識を抽出するツール