Marianna NICOLOSI ASMUNDO
Marianna NicolosiAsmundo 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.
Academic Year 2021/2022
 DEPARTMENT OF HUMANITIES
Master's Degree in Textual studies for digital professions  2^{nd} Year
BASI DI DATI, ONTOLOGIE E WEB SEMANTICO  DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science  2^{nd} Year
WEB REASONING E LABORATORIO  DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Mathematics  1^{st} Year
LOGICA MATEMATICA  DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Mathematics  2^{nd} Year
COMPUTER SCIENCE 2
Academic Year 2020/2021
 DEPARTMENT OF HUMANITIES
Master's Degree in Textual studies for digital professions  2^{nd} Year
BASI DI DATI, ONTOLOGIE E WEB SEMANTICO  DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science  2^{nd} Year
WEB REASONING E LABORATORIO  DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Mathematics  2^{nd} Year
COMPUTER SCIENCE 2
Academic Year 2019/2020
 DEPARTMENT OF HUMANITIES
Bachelor's Degree in Sciences and languages for communication  1^{st} Year
COMPUTER SCIENCE  DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science  2^{nd} Year
WEB REASONING E LABORATORIO  DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Mathematics  2^{nd} Year
COMPUTER SCIENCE 2
Academic Year 2018/2019
 DEPARTMENT OF HUMANITIES
Bachelor's Degree in Sciences and languages for communication  1^{st} Year
COMPUTER SCIENCE  DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science  2^{nd} Year
WEB REASONING E LABORATORIO  DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Mathematics  2^{nd} Year
COMPUTER SCIENCE 2
Academic Year 2017/2018
 DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science  2^{nd} Year
WEB REASONING E LABORATORIO  DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Mathematics  3^{rd} Year
COMPUTER SCIENCE 2
Academic Year 2016/2017
 DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science  2^{nd} Year
WEB REASONING E LABORATORIO
Academic Year 2015/2016
 DEPARTMENT OF BIOLOGICAL, GEOLOGICAL AND ENVIRONMENTAL SCIENCES
Master's Degree in Science of environmental protection  1^{st} Year
ABILITA' INFORMATICHE  DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science  2^{nd} Year
WEB REASONING  DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science  2^{nd} Year
WEB REASONING
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 nonclassical logics;

Interactive theorem proving;

Program verification methodologies;

Ontologies for several application domains such as human and social sciences, multiagent systems and blockchains.
