研究小组
BioLabs
揭示基本表观遗传调控机制及其在细胞分化和衰老中的作用
HoTT 和依赖类型组
创建基于同调类型理论的依赖型语言
人工智能实验室
基础和应用人工智能研究
天文粒子物理学
将现代计算技术应用于天体粒子物理学中的数据分析
并发计算
开发、验证、测试和基准现代并发算法
智能协作工具实验室
研究 SE 及其他领域的协作流程，以实现下一代协作工具
神经发育与神经生理学组
神经组织发育及涉及的细胞过程的模拟建模
移动机器人算法实验室
为移动机器人开发自定位算法并解决 SLAM 问题
编程语言和工具实验室
支持编程语言和工具的基础研究
论文分析
基于深度学习的生物医学科学论文知识提取工具
软件工程中的机器学习方法
合并这两个领域的最佳实践，以创建新的方法来开发和改进代码
验证或程序分析实验室
应用软件开发中的正规方法，创建基于静态分析、验证和程序转换的工具