
信息学:化安论坛:计算机科学理论和基础、数据库、软件和系统建模(理学硕士)
MSc by Research - Informatics: IFCS: Theory and Foundations of Computer Science, Databases, Software and Systems Modelling
计算机科学基础实验室(LFCS)继续在研究计算和通信可能性的数学模型,算法,理论和工具的开发中领先。爱丁堡大学的学生得益于成为世界上最大和最强的理论计算机科学家群体之一。它们的研究旨在深入了解多种形式的计算。它们利用先进的数学原理,创造理论和软件工具,以便探索基本的计算能力,以及设计可用于构建安全有效的程序的语言。LFCS内部感兴趣的领域包括:算法和复杂性,密码学,数据库,逻辑学,编程语言和语义学,性能建模,量子计算,安全和隐私,软件建模和测试,以及验证





