Pablo Barceló是智利天主教大学工程学院和数学学院数学与计算工程研究所所长,研究领域为数据库理论、计算机科学中的逻辑、自动机理论。
参考链接
微信扫码咨询专知VIP会员