Logo close icon
2020年至2021年在冠状病毒期间与我们一起学习

计算组的基础

计算集团基础的研究涉及研究逻辑及其应用于计算的应用。本集团将主动在各种领域中的研究人员纳入了从编程语言,正式验证和安全性的各种领域进行计算复杂性。我们的工作应用包括混合整数编程,以及软件组件的建模和分析,量子通信/加密协议和多代理系统。该小组由此引导 教授。 Rajagopal Nagarajan..

 

如需了解更多信息,请访问 小组网站.

在这个部分

回到顶部

我们使用cookie.

查看我们的隐私和饼干政策

接受