Marianna NICOLOSI ASMUNDO
Marianna Nicolosi-Asmundo è professore associato S.S.D. Logica Matematica MAT/01 presso il Dipartimento di Matematica e Informatica (DMI) dell'Università di Catania. Ha ricevuto il titolo di Dottore di Ricerca dall'Università di Catania nel 2003. E' membro proponente del CINUM - Centro Interdipartimentale di Informatica Umanistica. Insegna nei corsi di Laurea di Matematica Triennale e Magistrale, Informatica Magistrale, e di Scienze del Testo per le Professioni Digitali (Dipartimento di Scienze Umanistiche). Svolge attività di ricerca nell'ambito della deduzione automatica (sistemi deduttivi basati sui tableaux, procedure di decisione in teoria elementare degli insiemi e logiche non classiche, theorem proving interattivo), basi di conoscenza, ontologie e servizi di ragionamento per il semantic web.
Anno accademico 2021/2022
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 2° anno
WEB REASONING E LABORATORIO - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Matematica - 1° anno
LOGICA MATEMATICA - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Matematica - 2° anno
INFORMATICA II - DIPARTIMENTO DI SCIENZE UMANISTICHE
Corso di laurea magistrale in Scienze del testo per le professioni digitali - 2° anno
BASI DI DATI, ONTOLOGIE E WEB SEMANTICO
Anno accademico 2020/2021
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 2° anno
WEB REASONING E LABORATORIO - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Matematica - 2° anno
INFORMATICA II - DIPARTIMENTO DI SCIENZE UMANISTICHE
Corso di laurea magistrale in Scienze del testo per le professioni digitali - 2° anno
BASI DI DATI, ONTOLOGIE E WEB SEMANTICO
Anno accademico 2019/2020
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 2° anno
WEB REASONING E LABORATORIO - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Matematica - 2° anno
INFORMATICA II - DIPARTIMENTO DI SCIENZE UMANISTICHE
Corso di laurea in Scienze e lingue per la comunicazione - 1° anno
INFORMATICA
Anno accademico 2018/2019
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 2° anno
WEB REASONING E LABORATORIO - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Matematica - 2° anno
INFORMATICA II - DIPARTIMENTO DI SCIENZE UMANISTICHE
Corso di laurea in Scienze e lingue per la comunicazione - 1° anno
INFORMATICA
Anno accademico 2017/2018
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 2° anno
WEB REASONING E LABORATORIO - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Matematica - 3° anno
INFORMATICA II
Anno accademico 2016/2017
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 2° anno
WEB REASONING E LABORATORIO
Anno accademico 2015/2016
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 2° anno
WEB REASONING - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 2° anno
WEB REASONING - DIPARTIMENTO DI SCIENZE BIOLOGICHE, GEOLOGICHE E AMBIENTALI
Corso di laurea magistrale in Scienze per la tutela dell'ambiente - 1° anno
ABILITA' INFORMATICHE
Attività e interessi di ricerca:
- Sistemi di deduzione basati sul sul sistema di dimostrazione formale dei tableau semantici;
- Procedure di decisione in teoria elementare degli insiemi, in algebra delle relazioni e in logiche non classiche;
- Dimostrazione interattiva di teoremi;
- Metodologie per la verifica del programma;
- Ontologie per vari domini di applicazione quali le scienze umane e sociali, sistemi multiagenti e blockchain.