Academic Staff > Academic Staff > Valentin Cassano
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.
