Maria Serafina MADONIA

Ricercatrice di INFORMATICA [INF/01]
Ufficio: Dipartimento di Matematica e Informatica - blocco III - stanza MII 45
Email: madonia@dmi.unict.it
Telefono: 095 7383003
Fax: 095 330994
Sito web: www.dmi.unict.it/~madonia/


Maria Serafina Madonia, nata a Palermo il 31 dicembre 1962, è ricercatore confermato di Informatica (INF/01) presso l'Università di Catania dal 1996.

                                                                      

CURRICULUM  VITAE

 

INFORMAZIONI  PERSONALI

 

 

Nome

MARIA SERAFINA MADONIA

Indirizzo 

VIALE A. DORIA 6 – 95125 CATANIA - ITALY

Telefono

095 7383003 

Fax

095 

E-mail

madonia@dmi.unict.it

Nazionalità

Italiana

 

 

 

ESPERIENZA LAVORATIVA

 

 

 

Data

dal 25 Mag. 96 ad oggi

Ricercatore per il settore scientifico disciplinare INF01

 

 

Nome e indirizzo del datore di lavoro

Università di Catania – Piazza Università 2, Catania

 

 

Tipo di azienda

Università

 

 

Tipo di impiego

Impiego di ruolo a tempo indeterminato come ricercatore

 

 

Principali mansioni e responsabilità

Ricercatore per il settore scientifico disciplinareINF/01.

 

Dal 2006 al 2012 ha fatto parte del Collegio dei Docenti del Dottorato di Ricerca dell’Università di Catania – Titolo  “Informatica”.

 

Dal 14-02-2018 fa parte della Commissione per la Qualità del Corso di Laurea in Informatica Triennale e della Commissione per la Qualità del Dipartimento di Matematica e Informatica dell'Università di Catania.


Per i bienni accademici 2005/2007 e 2008/2010 ha fatto parte (su designazione elettiva) della Commissione Scientifica 01 – Scienze Matematiche – per la valutazione Progetti di Ricerca di Ateneo.

 

Dal 2000 al 2007 è stato membro, con nomina rettorale, di varie Commissioni Giudicatrici perprocedure di valutazione comparativa presso altri Atenei. 

 

Dal 2003 ad oggi è stato membro di varie Commissioni Giudicatrici di concorsi per l’attribuzione di Borse di Studio e di Assegni per la Collaborazione alla Ricerca presso l’Ateneo di Catania. 

 

 

 

ATTIVITA’ DIDATTICA

 

 

Dal 1996 ad oggi ha tenuto, per carico didattico istituzionale o aggiuntivo o per supplenza, diversi corsi nell’ambito dei corsi di Laurea (quadriennale, quinquennale, triennale, specialistica e magistrale) in Informatica. In particolare negli ultimi cinque anni ha tenuto i seguenti corsi:

 

A.A. 2017-18  

Linguaggi Formali e Applicazioni (Laurea Specialistica Informatica – 6 CFU)

Fondamenti di Informatica (corso M-Z) (Laurea Triennale Informatica – 9 CFU)

 

A.A. 2016-17

Linguaggi Formali e Applicazioni  (Laurea Specialistica Informatica – 6 CFU)

Laboratorio di Fondamenti di Informatica  (Laurea Triennale Informatica – modulo di 35 ore)

 

A.A. 2015-16

Linguaggi Formali e Applicazioni (Laurea Specialistica/Magistrale Informatica – 9 CFU)

Laboratorio di Fondamenti di Informatica (Laurea Triennale Informatica – modulo di 45 ore)

 

A.A. 2014-15

Linguaggi Formali e Applicazioni (Laurea Specialistica/Magistrale Informatica – 9 CFU)

 

A.A. 2013-14

Linguaggi Formali e Applicazioni (Laurea Specialistica/Magistrale Informatica – 9 CFU)

 

 

Dal 1998 ad oggi ha partecipato a diversi Progetti di ricerca finanziati dal MIUR, dall’INDAM e dall'Ateneo di Catania.

 

 

 

 

 

 

 

ATTIVITA’ DI RICERCA

 

 

Interessi di ricerca nel campo della teoria dei linguaggi formali. 

In particolare:

-       Linguaggi bidimensionali riconoscibili

-       Automi su alfabeti unari

-       “Covering” di parole 

-       Z-monoidi e z-codici

-       Relazioni razionali 

-       Riducibilità di alberi binari

 

L'elenco completo delle pubblicazioni è disponibile al link http://www.dmi.unict.it/~madonia/ricerche.html

 

 

 

 

ISTRUZIONE E FORMAZIONE

 

 

 

Data

Dall’1-11-1986 al 31-10-1990

 

Nome e tipo di istituto di

istruzione o formazione

Università Consorziate di Palermo, Catania e Messina

Principali materie / abilità

professionali oggetto dello

studio

Attività di ricerca nel campo della teoria degli z-monoidi e degli z-codici

 

 

Qualifica conseguita

Dottore di Ricerca in Matematica

 

 

Data

Dall’1-11-1981 al 31-10-1985

 

Nome e tipo di istituto di

istruzione o formazione

Università degli Studi di Palermo

 

 

Qualifica conseguita

Laurea in Matematica (Indirizzo Applicativo)

 

 

COMPETENZE

PERSONALI

 

Lingua madre

Italiano

 

 

Altre lingue

 

Comprensione

Parlato

Produzionescritta

Inglese

Ottimo

Buono

Buono

 

 

 

 

 

DATA      30/09/2018

 

 

 

 

 

PUBBLICAZIONI 2014-2018 

(L'elenco completo delle pubblicazioni è disponibile al link http://www.dmi.unict.it/~madonia/ricerche.html)

  • M. Anselmo, D. Giammarresi, M. Madonia  “Full sets of pictures to encode pictures”  Theoretical Computer Science (in corso di stampa).
  • M. Anselmo, D. Giammarresi, M. Madonia  “Sets of Pictures Avoiding Overlaps”  International Journal of Foundations of Computer Science (in corso di stampa).
  • M. Anselmo, D. Giammarresi, M. Madonia  “Encoding Pictures with Maximal Codes of Pictures”, in A. Min Tjoa, L. Bellatreche, J. van Leeuwen and J. Wiedermann (Eds.): SOFSEM 2018, LNCS 10706, Springer (2018).
  • M. Anselmo, D. Giammarresi, M. Madonia  “Avoiding Overlaps in Pictures”, in G. Pighizzini and C. Câmpeanu (Eds.): DCFS 2017, LNCS 10316, Springer (2017).
  • M. Anselmo, D. Giammarresi, M. Madonia  “Infinite Two-dimensional Strong Prefix Codes: characterization and properties” in Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca (Eds.): AUTOMATA 2017, LNCS 10248, Springer (2017).
  • M. Anselmo, D. Giammarresi, M. Madonia  “Non-Expandable Non-Overlapping sets of pictures” Theoretical Computer Science, vol. 657,  pp. 127-136 (2017).
  • M. Anselmo, M. Madonia  “Two-dimensional Comma-free and Cylindric Codes” Theoretical Computer Science, vol. 658(A),  pp. 4-17 (2017). 
  • M. Anselmo, D. Giammarresi, M. Madonia  “Picture Codes and Deciphering Delay” Information and Computation, vol 253, pp.358-370 (2017).
  • M. Anselmo, D. Giammarresi, M. Madonia  “Structure and properties of strong prefix codes of pictures”  Mathematical Structures in Computer Sciencevol. 27 (2), pp. 123-142 (2017).
  • M. Anselmo, D. Giammarresi, M. Madonia  “Unbordered Pictures: Properties and Construction” in A. Maletti (Ed.): CAI 2015, LNCS9270, pp. 45-57, Springer (2015).
  • M. Anselmo, D. Giammarresi, M. Madonia  “Structure and Measure of a Decidable Class of Two-dimensional Codes” LATA 2015, LNCS8977, Springer (2015).
  • M. Anselmo, D. Giammarresi, M. Madonia  “Prefix Picture Codes: a Decidable Class of Two-dimensional Codes”  International Journal of Foundations of Computer Sciencevol. 25(8), pp. 1017-1032 (2014).
  • M. Anselmo, D. Giammarresi, M. Madonia  “Pictures Codes with Finite Deciphering Delay” in Adrian-Horia Dediu, Carlos Martín-Vide, José‐Luis Sierra, and Bianca Truthe (Eds.): LATA 2014, LNCS8370, pp. 88–100, Springer (2014).
  • M. Anselmo, D. Giammarresi, M. Madonia “Strong Prefix Codes of Pictures” in T. Muntean, D. Poulakis, and R. Rolland (Eds.): CAI 2013, LNCS8080, pp. 47–59, Springer-Verlag  (2013).
  • M. Anselmo, D. Giammarresi, M. Madonia  “Two-dimensional Prefix Codes of Pictures” in M.-P. Béal and O. Carton (Eds.): DLT 2013, LNCS7907, pp. 46-57, Springer, Heidelberg (2013).
  • M. Anselmo, M. Madonia  “A Stronger Recognizability Condition for Two-dimensional Languages”,Discrete Mathematics and Theoretical Computer Science vol. 15:2, pp. 139–156  (2013).
  • M. Anselmo, D. Giammarresi, M. Madonia  “Two-dimensional rational automata: a bridge unifying one- and  two-dimensional language theory” in Peter van Emde Boas et al. (Eds.): SOFSEM 2013, LNCS 7741, pp. 133-145 Springer, Heidelberg (2013).
Anno accademico  

ATTIVITA’ DI RICERCA

Svolge attività di ricerca nel campo della teoria dei linguaggi formalie, più esattamente, si interessa di problemi algebrici e combinatori delle teorie degli automi, dei linguaggi bidimensionali e dei codici. In particolare ha  affrontato le seguenti tematiche:

-             Linguaggi bidimensionali riconoscibili

-             Automi su alfabeti unari

-             “Covering” di parole 

-             Z-monoidi e z-codici

-             Relazioni razionali 

-             Riducibilità di alberi binari

L'elenco completo delle pubblicazioni è disponibile al link http://www.dmi.unict.it/~madonia/ricerche.html.

Ha svolto, e tuttora svolge, attività di revisore scientifico per numerose riviste internazionali e per numerosi convegni nazionali ed internazionali.

Dal 1998 ad oggi ha partecipato a diversi Progetti di ricerca finanziati dal MIUR, dall’INDAMe dall'Ateneo di Catania.

Nell’ambito di tali progetti, collabora con la Prof.ssa M. Anselmo, dell’Università di Salerno, e con la Prof.ssa D. Giammarresi, dell’Università di Roma Tor Vergata, su temi riguardanti, prevalentemente, i linguaggi bidimensionali.