计算组基础

计算群基础的研究涉及逻辑及其在计算中的应用的研究. 该组织包括活跃在从编程语言理论到各种领域的研究人员, 形式验证和计算复杂性的安全性. 澳门威尼斯人官网工作的应用包括混合整数规划, 以及软件组件的建模和分析, 量子通信/密码协议和多智能体系统. 这群人是由教授. Rajagopal纳.