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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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