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

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

探索培训 AI 代理的新方法

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Applying modern computing techniques to data analysis in astroparticle physics

Developing and analyzing algorithms for concurrent and distributed systems