计算组的基础

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

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