BASICS实验室致力于理论计算机科学的研究，其主要目标是研究计算和交互的内在特性，这些特性解释了现代计算的几乎所有行为方面。目前实验室的主要研究方向包括：算法与复杂性、形式化方法、程序语言理论、知识推理与验证、人工智能理论与安全等。

BASICS实验室链接：http://basics.sjtu.edu.cn/

[ 返回 ]