编程系统中心的使命是:
- 使科学发现关于编程的计算机系统
- 教育下一代的研究人员在编程系统
科学发现对计算机编程有很多种形式,导致运行效率提高的项目,提高担保关于程序行为,和提高了程序员的工作效率。发现在编程系统也导致洞察本质的一般计算和计算流程科学探究在其他领域,如物理学和生物学。
研究中心的成员函数式编程语言,语言治疗功能等一流的实体和限制副作用的突变状态。雷竞技官方网站下载印第安纳大学有着悠久的优良传统在这个区域的例子中,与教授弗里德曼和明智的发现1976年懒惰的评价。
我们预计,函数式编程将强调中心的一些时间,但中心的范围不仅限于。中心是任何研究的范围涉及计算机系统的编程,包括使用编程语言语义推理性质的项目和领域特定语言来捕获域的设计抽象和提高性能。
中心的当前研究领域包括循序渐进的打字、并行性和编译器优化,概率编程,量子计算,同伦类型理论和非独立类型的编程。