Resources for Student Faculty Staff Vistor Events 中文

Academic Staff > Academic Staff > Valentin Cassano

Valentin Cassano

Mathematics with Computer Science

Assistant Professor

Email

I am a Tenured Professor in the Department of Mathematics at the University of Rio Cuarto, Argentina, and a Researcher at National Scientific and Technical Research Council (CONICET), Argentina. I finished my Phd thesis in 2015 under the supervision of Tom Maibaum at McMaster University, Canada. The title of my thesis was A Logical Basis for Reasoning with Default Rules. From 2015 to 2017 I worked as a Postdoctoral Fellow at the McMaster Centre for Software Certification (McSCERT), Canada. In 2017 I returned to Argentina thanks to a CONICET Postdoctoral Scholarship and joined the Logics, Interaction and Intelligent Systems (LIIS) group led by Carlos Areces. Ever since, I have been working on the intersection between Logic and Computer Science. My research interests include: Non-monotonic Reasoning. Default Logics. Deontic Logics. Algebraic Logic. Dynamic Logics. Epistemic Logics. Logics with Data. Tableaux Systems.

CLOSE

CONTACT US

Tel: 86-0754-88077088、88077060

Address: 241 Daxue Road, Jinping District, Shantou, Guangdong Province, China

Postal Code:515063

© GUANGDONG TECHNION-ISRAEL INSTITUTE OF TECHNOLOGY | 粤ICP备17036470号