信息学：LFCS：计算机科学理论与基础、数据库、软件与系统建模 研究型硕士

计算机科学基础实验室（LFCS）继续在开发数学模型、算法、理论和工具方面引领潮流，探索计算和通信的可能性。学生将受益于成为世界上最大、最强的理论计算机科学家团队之一的一员。该研究旨在建立对计算多种形式的深刻理解，利用先进的数学原理创建理论和软件工具，探索计算的基本能力，并设计用于构建安全有效程序的语言。研究领域包括算法与复杂性、密码学、数据库、逻辑、编程语言与语义、性能建模、量子计算、安全与隐私、软件建模与测试以及验证。