CV of Marianna Nicolosi Asmundo

Current position

November 2007 assistant professor in Computer Science (S.D. INF/01),
Faculty of Science, University of Catania.


Academic qualifications
  • January 2003: Ph.D. in Computer Science, University of Catania,
  • July 1997: Degree in Computer Science, University of Catania.

Past positions
  • December 2004/November 2006: POST DOCTORAL POSITION, University of Catania,
  • September 2002/August 2004: CNR RESEARCH FELLOWSHIP,
  • November 1997/October 2001: MURST FELLOWSHIP for Ph.D students.
  • February/April 2007: RESEARCH CONTRACT, INTAS project,
  • October 2001/January 2002: RESEARCH CONTRACT, University of Catania,

Teaching
  • Progetto software, 2007/08 and 2008/09, I Level Degree in Computer Science, University of Catania,
  • Basi teoriche dell'informatica, 2009/10, I Level Degree in Computer Science, University of Catania,
  • Logica computazionale, 2008/09, 2009/10, 2010/11, 2011/12, Master Degree in Computer Science, University of Catania,
  • Cycle of seminars for Argomenti scelti di informatica teorica II (2005) Ph.D. Degree in Computer Science, University of Catania,
  • Cycle of seminars for Argomenti scelti di informatica teorica (2004) Ph.D. Degree in Computer Science, University of Catania.

Research interests and activity

I am interested in several topics of computational logic:
  • techniques for quantifiers elimination;
  • tableau-based deduction systems
    • optimization of the delta-rule in classical and modal logics and characterization of Skolem terms,
    • application of epsilon-terms in proofs,
    • proof-search procedures in relational systems for non classical logics;
  • decision procedures
    • fragments of set theory,
    • theories of lists and of array,
    • non classical logics;
  • proof assistants
    • development of proof scenarios within the Referee verifier, optimization of its inference engine,
    • formal proofs development with Coq and Mizar;
  • algorithms for inter translation of map, first order and set theoretic formulae;
  • compositionality problems in formal methods, integration operations and applications.

Publications, participation to conferences and other activities
  • Research activity published on:
    • Journal of Automated Reasoning,
    • Journal of Applied Non-Classical Logics,
    • Rendiconti dell’Istituto di Matematica dell’Università di Trieste,
    • Le Matematiche,
    • Leibniz International Proceedings in Informatics,
    • Lecture Notes in Computer Science,
    • Lecture Notes in Artificial Intelligence.
  • International conferences: CSL, IJCAR, FTP, TABLEAUX, UNILOG, International Symposium on Requirements Engineering.
  • National conferences: GULP, CILC, WOA.
  • PC-member: CILC 2007, CILC 2008, CILC 2009, CILC 2011.

Scientific visits to foreign institutions
  • September 2009: Institute of Telecommunications, Warsaw, Poland, research cooperation on automated reasoning in logic of relations with prof. Ewa Orłowska.
  • January/May 2000: University of Toronto, doctoral activity with Marsha Chechik and Steve Easterbrook, on handling inconsistencies in distributed formal specifications.
  • November/December 1998: University of Karlsruhe, member of the project Deduzione in Teoria degli insiemi: Uno strumento per la verifica software, Programma Vigoni (1998-1999).

Research projects
  • 2009: main project investigator programma Giovani Ricercatori 2009 (GNCS). Subject of the research: Referee and decidability in set theory.
  • 2008: main project investigator programma Giovani Ricercatori 2008 (GNCS). Subject of the research: algorithms of translation for the logic of maps.
  • 1999: main project investigator Iniziative di ricerca diffusa - Progetto Giovani Ricercatori (University of Catania). Subject of the research: Integration of ASM specifications of distributed software systems.
  • I took part to the following projects:
    • Progetto MIUR cofinanziato - Large-scale development of certified Mathematical proofs n. 2006012773 (2006-2007).
    • Progetto MIUR CoMeta cofinanziato - Metamodelli Computazionali, Unità: Modelli algebrici per specifica e verifica di sistemi complessi (2002-2003),
    • Progetto MURST cofinanziato - Tecniche Formali per la Specifica, l'Analisi, la Verifica, la Sintesi e la Trasformazione di Sistemi Software, (1999-2000),
    • Programma Vigoni (1998-1999), Deduzione in Teoria degli insiemi: Uno strumento per la verifica software.

 

Home | Publications | Curriculum Vitae