现代逻辑与人工智能研究室
现代逻辑与人工智能研究室负责人是郭美云教授。该研究方向主要结合当代计算机科学尤其是人工智能前沿,深化计算机科学中的逻辑问题研究。结合经济学中的博弈论、社会选择理论等研究方向,进行逻辑理论和实证研究。