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