教师的研究方向计算机科学的理论基础涉及广泛的话题。教员的研究联系在一起一个统一原则是关注概念,谎言的核心计算和编程。
看到老师理论计算机科学关注的核心计算的概念
分区
研究和设计的核心计算和编程的范例,包括量子计算等新兴方法
我们寻求获得一个精确的和系统的了解各种形式的计算通过数学公式和分析的核心概念,包括它们的清晰度(语法),含义(语义),和解释(使用)。
算法设计的方法
我们调查设计与分析算法在计算机科学的基本问题。特别是,我们专注于研究时间、空间和交流。我们研究高效的大数据分析的解决方案,包括次线性算法,流算法和分布式/并行算法。
应用计算的数学分析,特别是数据库理论、人工智能和机器学习
我们研究的理论基础的应用领域包括人工智能(AI)、机器学习(ML)和数据库(DB)。特别是,我们的研究(1)查询语言的基础,在数据库查询优化;(2)图形化模型、近似推理计算学习理论,强化学习在AI /毫升。
计算复杂度和计算的极限
计算机科学的一个重要主题是理解计算固有的困难问题。我们关注大数据分析问题的复杂性和基金会在AI /毫升/ DB,和研究样本复杂性和通信复杂性,这是主要的工具证明不可能的结果。
正式的推理计算和程序,特别是关于资源分析、不确定性和概率
关于各种形式的推理计算和编程范式是使用概念和形式逻辑的工具。我们设计这样的形式,研究其内在属性以及其实际的应用程序。