理论为计算机科学的其他核心领域提供了强大的数学基础. 计算机科学系专门从事理论计算机科学的教师在抽象层面上探索围绕计算和算法的基本问题, 并且经常将他们的专业知识应用到计算机科学的更多应用领域.
理论研究横跨多个领域, 为计算理论的算法设计和分析创造威尼斯人平台. 重点领域包括广泛的算法, 算法博弈理论, 组合优化, 图算法, 计算几何, 计算复杂度, 并将理论应用于网络系统.
研究主题
- 算法的设计与分析
- 优化与逼近
- 算法博弈论
- 数据结构
- 网络算法
- 计算几何
- 计算理论
- 计算复杂度
- 正式的方法
- 自动推理