编程语言，编译器和软件工程

计算机科学系编程语言研究人员, 编译器, 软件工程中心关注的是如何编写, 测试, 编译, 关于软件的原因. 这项研究涵盖了从理论到实践的整个领域. 在这个范围的一端, 诸如是否有可能证明一个程序, 或者一种语言, 是否回答了给定的属性. 另一方面，有针对现代语言和体系结构的优化编译器. 介于两者之间的是分析程序属性的算法, 以及工具和模式，使正确的编写更容易, 高效的代码.

研究主题

• 类型系统
• 静态分析
• 程序验证
• 语言的可扩展性
• 软件工程
• 软件可靠性与测试