Marianna NICOLOSI ASMUNDOResearcher of Informatics [INF/01]
Phone: 095 7383076
Fax: 095 330094
Web Site: www.dmi.unict.it/nicolosi/
Office Hours: Friday from 10:00 to 12:00
Marianna Nicolosi-Asmundo is an assistant professor 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 steering committee of GULP - Gruppo Ricercatori e Utenti Logic Programming and 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 corso di Laurea di Informatica Magistrale e Matematica Triennale, and Scienze e lingue per la comunicazione (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.