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.
Academic Year 2021/2022
- DEPARTMENT OF HUMANITIES
Master's Degree in Textual studies for digital professions - 2nd Year
BASI DI DATI, ONTOLOGIE E WEB SEMANTICO - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science - 2nd Year
WEB REASONING E LABORATORIO - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Mathematics - 1st Year
LOGICA MATEMATICA - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Mathematics - 2nd Year
COMPUTER SCIENCE 2
Academic Year 2020/2021
- DEPARTMENT OF HUMANITIES
Master's Degree in Textual studies for digital professions - 2nd Year
BASI DI DATI, ONTOLOGIE E WEB SEMANTICO - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science - 2nd Year
WEB REASONING E LABORATORIO - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Mathematics - 2nd Year
COMPUTER SCIENCE 2
Academic Year 2019/2020
- DEPARTMENT OF HUMANITIES
Bachelor's Degree in Sciences and languages for communication - 1st Year
COMPUTER SCIENCE - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science - 2nd Year
WEB REASONING E LABORATORIO - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Mathematics - 2nd Year
COMPUTER SCIENCE 2
Academic Year 2018/2019
- DEPARTMENT OF HUMANITIES
Bachelor's Degree in Sciences and languages for communication - 1st Year
COMPUTER SCIENCE - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science - 2nd Year
WEB REASONING E LABORATORIO - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Mathematics - 2nd Year
COMPUTER SCIENCE 2
Academic Year 2017/2018
- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science - 2nd Year
WEB REASONING E LABORATORIO - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Bachelor's Degree in Mathematics - 3rd Year
COMPUTER SCIENCE 2
Academic Year 2016/2017
- DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science - 2nd Year
WEB REASONING E LABORATORIO
Academic Year 2015/2016
- DEPARTMENT OF BIOLOGICAL, GEOLOGICAL AND ENVIRONMENTAL SCIENCES
Master's Degree in Science of environmental protection - 1st Year
ABILITA' INFORMATICHE - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science - 2nd Year
WEB REASONING - DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCES
Master's Degree in Computer Science - 2nd 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 non-classical logics;
-
Interactive theorem proving;
-
Program verification methodologies;
-
Ontologies for several application domains such as human and social sciences, multiagent systems and blockchains.
-