计算机科学与工程系研究

计算机科学与工程系进行广泛、高质量、基础广泛的研究，从基础研究到与工业界合作的直接应用。该部门的研究在几个领域处于国际领先地位。
 
在软件和硬件开发中，可靠性的不同方面是该部门几个研究小组的共同主题。一个例子是关于编程语言应该如何设计以使编写无错误程序更容易的基础研究。另一个例子是开发复杂计算机系统（例如飞机）可靠性的方法。
 
我们分为四个研究部门，其中包括一些研究小组。

页面管理器发布时间：2021年12月17日星期五。