Marianna NICOLOSI ASMUNDO
Marianna Nicolosi-Asmundo is an associate professor of Mathematical Logic at the Department of Mathematics and Computer Science of the University of Catania since 2007. She received her PhD in Computer Science from the University of Catania in 2003. She is member of the board of the CINUM – Centro di Informatica Umanistica (Digital Humanities Center) (Department of Humanistic Sciences of the University of Catania). She teaches in corsi di Laurea di Matematica Triennale e Magistrale, Informatica Magistrale, e di Scienze del Testo per le Professioni Digitali (Department of Humanistic Sciences of the University of Catania). Her main research interests and activity regard tableau based deduction systems, decision procedures in elementary set theory and non classical logic, interactive theorem proving, ontologies and reasoning services for the semantic web.
Research activity and interests:
-
-
Deduction systems based on the formal proof system of semantic tableaux;
-
Decision procedures in elementary set theory, in agebra of relations, and in non-classical logics;
-
Interactive theorem proving;
-
Program verification methodologies;
-
Ontologies for several application domains such as human and social sciences, multiagent systems and blockchains.
-