研究小组

BioLabs

揭示基本表观遗传调控机制及其在细胞分化和衰老中的作用

HoTT 和依赖类型组

创建基于同调类型理论的依赖型语言

代理系统与强化学习

探索培训 AI 代理的新方法

加密实验室

信息保护加密方法的研究与应用

参数化算法实验室

通过仔细理解典型输入的结构,为计算上具有挑战性的问题构建精确的算法

天文粒子物理学

将现代计算技术应用于天体粒子物理学中的数据分析

学习研究实验室

进行纵向研究,以发现哪些因素有助于提高学术成就,并在 STEM 职业中取得成功。

并发和分布式系统的算法

为并发和分布式系统开发和分析算法

并发计算

开发、验证、测试和基准现代并发算法

智能协作工具实验室

研究 SE 及其他领域的协作流程,以实现下一代协作工具

机器学习应用和深度学习

将最先进的机器学习技术应用于各种不同的问题上

核物理方法实验室

该实验室为粒子物理研究和其他类似领域开发仪器和方法

生物信息小组

将计算机科学方法用于解决现实世界的生物和医学问题

神经发育与神经生理学组

神经组织发育及涉及的细胞过程的模拟建模

移动机器人算法实验室

为移动机器人开发自定位算法并解决 SLAM 问题

编程语言和工具实验室

支持编程语言和工具的基础研究

网络物理系统实验室

用于为网络物理系统开发控制程序的理论基础、语言和工具

论文分析

基于深度学习的生物医学科学论文知识提取工具

软件工程中优化问题

解决软件工程不同领域的优化难题

软件工程中的机器学习方法

合并这两个领域的最佳实践,以创建新的方法来开发和改进代码

验证或程序分析实验室

应用软件开发中的正规方法,创建基于静态分析、验证和程序转换的工具