师资队伍 > 专业师资 > Raul Alberto Fervari
Raul Fervari是阿根廷国立调查委员会Científicas y Técnicas (CONICET)永久研究员,阿根廷国立科尔多瓦大学常驻教授。此前,他于2014年在UNC获得了计算机科学博士学位。Raul Fervari的研究集中在模态逻辑的计算方面,以及具有动态行为的逻辑。他参与了许多国际和国家项目,并在几个专门的活动担任项目委员会的成员。他还曾受邀在不同的大学和国际活动担任讲师和研究员,如欧洲暑期逻辑,语言和信息学校 、卢森堡大学和巴黎-萨克雷大学等。详情请访问: https://cs.famaf.unc.edu.ar/~rfervari