师资步队 > 专业师资 > Valentin Cassano
Valentin Cassano博士是阿根廷里奥夸尔托国立大学(Universidad Nacional De Río Cuarto)数学系的终身教授,,,也是阿根廷国家科学手艺研究委员会(CONICET)的研究员。2015年在加拿大麦克马斯特大学Tom Maibaum教授的指导下完成博士论文,,,论文问题是《用默认规则推理的逻辑基础》。2015年至2017年,,,他在加拿大麦克马斯特软件认证中心(McSCERT)做博士后研究员。Valentin Cassano于2017年获得CONICET博士后奖学金,,,随后回到阿根廷,,,加入了Carlos Areces向导的逻辑、、、交互和智能系统(LIIS)小组,,,从事逻辑学和盘算机科学的交织研究。
Valentin Cassano博士的研究兴趣包括:::
非枯燥推理,,,缺省逻辑,,,道义逻辑,,,代数逻辑,,,动态逻辑,,,认知逻辑,,,逻辑与数据,,,Tableaux系统。
© 南宫NG28集团 版权所有 | 粤ICP备17036470号