Foundation of Software 专业方向属于 EPFL (瑞士洛桑联邦理工学院) 计算机与通信科学学院（IC) 推出的计算机科学硕士项目下的专业方向之一。它专注于开发高质量软件所需的科学与技术基础，包括算法、编程表示法、类型系统、模型检查、静态分析、测试及高级编译技术。核心内容涵盖程序语义、操作技术与类型系统，重点培养学生算法思维、问题解决能力和健全的质量工程方法。主修课程如理论计算机科学、高级算法、分布式算法、软件基础、编译原理等，适合有志于成为高级软件工程师、程序语言专家或理论计算机科学研究者的学生。就业方向包括软件工程师、系统架构师及相关领域高端研发岗位。 来源： https://www.epfl.ch/labs/lamp/teaching/teaching-archive/page-125147-en-html/