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

基礎および応用 AI 研究

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

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

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

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

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

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

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

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

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

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