我是 学生 教职 员工 访客 活动 ENGLISH

师资队伍 > 专业师资 > Carlos Eduardo Areces

Carlos Eduardo Areces

数学与计算机科学

教授

邮箱

Carlos Areces目前是阿根廷国立科尔多瓦大学数学、天文、计算机物理学的全职教授以及逻辑、交互和智能系统(LIIS)小组的主任,从2010年起担任阿根廷国家科学与技术研究理事会(CONICET)研究员。他硕士毕业于阿根廷布宜诺斯艾利斯大学计算机科学专业,之后,于2000年在荷兰阿姆斯特丹大学获得计算机科学博士学位,并在逻辑、语言与计算机研究所担任研究员。博士毕业后,他在法国南锡洛林计算机科学研究与应用实验室(the Lorraine Research Laboratory in Computer Science and its Applications)担任法国国家信息与自动化研究所(INRIA)研究员,该实验室是法国国家科学研究中心(CNRS)、法国洛林大学和INRIA的共同研究单位。他在其专业领域的期刊和会议上发表过一百多篇科学论文,主要研究兴趣是计算逻辑(computational logic),尤其是模态逻辑(modal logic)。他研究模型论(model theory)、计算机复杂理论(computational complexity)、人工智能、知识表示(knowledge representation)、自动推理(automated reasoning)、计算机语言学等方面。


关闭

CONTACT US
联系我们

本科招生: 86-0754-88077088、88077060

地址:广东省汕头市大学路241号

邮编 :515063

© 广东以色列理工学院 版权所有 | 粤ICP备17036470号

Design by SHANGCE