师资步队 > 专业师资 > 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号