研究方向和目标

理论计算机研究所专注于计算机科学基础理论的深入研究，致力于解决与计算相关的核心理论问题。我们的研究范畴主要涵盖算法设计与分析、形式化验证两大基石领域，并积极探索计算机与经济学、数据科学等领域的交叉理论应用。研究所的目标在于提供前沿、可靠、普适的理论框架和方法论，为复杂系统的构建与分析、高效算法的创新，以及信息社会中跨学科问题的解决，奠定坚实的科学基础。

研究特色

前沿性：研究所始终以探索计算机科学中各类问题的理论边界为核心目标，致力于解决领域内悬而未决的理论开放问题。我们旨在为算法设计、形式化验证等提供一般性的思想和方法，形成具有普适指导意义的理论框架，进而引领和指导具体问题的实践与创新。

可靠性：我们致力于为各类算法和程序提供最坏情况或特定建模下的严格理论分析和形式化验证。通过严谨的数学方法，确保研究成果的可解释性和可数学证明的特性，从而为核心算法与系统的正确性、安全性和性能提供高置信度的可靠性保障。

1、算法设计与分析

图算法：陈翌佳，刘思学，张宇昊

在线算法：张宇昊

计数算法：张驰豪，杨宽

2、形式化验证

并发系统建模与验证：傅育熙，龙环

自动化验证：汪宇霆

新型程序理论方面：符鸿飞

3、交叉领域

（数学）高维概率：张驰豪

（经济学）计算经济学：陶表帅

（数据科学）数据查询处理和优化：尹强

（人工智能）可视化、可解释性：董笑菊