Maria Serafina MADONIA
Maria Serafina Madonia, nata a Palermo il 31 dicembre 1962, è professore associato (S.S.D. INF/01) presso il Dipartimento di Matematica e Informatica (DMI) dell'Università degli Studi di Catania dall’1gennaio 2022. Dal maggio 1996 al dicembre 2021 è stata ricercatore confermato (S.S.D. INF/01) presso lo stesso dipartimento. Nel 1985, si è laureata in Matematica (Indirizzo Applicativo), presso l’Università degli Studi di Palermo e, nel 1991, ha conseguito il titolo di Dottore di Ricerca in Matematica (III ciclo - Università consorziate di Palermo, Catania e Messina).
Insegna nei corsi di Laurea di Informatica Triennale e Magistrale e svolge attività di ricerca nell’ambito dell’informatica teorica.
ATTIVITA’ DI RICERCA
Svolge attività di ricerca nel campo della teoria dei linguaggi formali e, 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
- Codici di picture
- 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’INDAM e dall'Ateneo di Catania.
Linguaggi Formali: calendario lezioni mese di Dicembre 2025
Si ricorda agli studenti del Corso di Linguaggi Formali che le lezioni saranno sospese per le prime due settimane di dicembre: dall’1 al 6 per la pausa didattica, l’8 per festività, il 10 per le prove di accesso a Medicina.
Le lezioni proseguiranno poi secondo il seguente calendario:
lunedì 15 ore 10-13
mercoledì 17 ore 11-13
Si precisa che la lezione di mercoledì 17 sarà dedicata