Marianna NICOLOSI ASMUNDO

Professoressa associata di Logica matematica [MAT/01]

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. 

VISUALIZZA LE PUBBLICAZIONI
N.B. l'elevato numero di pubblicazioni può incidere sul tempo di caricamento della pagina
VISUALIZZA GLI INSEGNAMENTI DALL'A.A. 2022/2023 AD OGGI

Anno accademico 2021/2022


Anno accademico 2020/2021


Anno accademico 2019/2020


Anno accademico 2018/2019


Anno accademico 2017/2018


Anno accademico 2016/2017


Anno accademico 2015/2016

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.