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.
Anno accademico 2021/2022
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 1° anno
FONDAMENTI DI INFORMATICA A - L - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 1° anno
FONDAMENTI DI INFORMATICA M - Z - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 2° anno
LINGUAGGI FORMALI
Anno accademico 2020/2021
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 1° anno
FONDAMENTI DI INFORMATICA M - Z - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 2° anno
LINGUAGGI FORMALI
Anno accademico 2019/2020
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 1° anno
FONDAMENTI DI INFORMATICA M - Z - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 2° anno
LINGUAGGI FORMALI
Anno accademico 2018/2019
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 1° anno
FONDAMENTI DI INFORMATICA M - Z - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 2° anno
LINGUAGGI FORMALI
Anno accademico 2017/2018
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea in Informatica - 1° anno
FONDAMENTI DI INFORMATICA M - Z - DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 2° anno
LINGUAGGI FORMALI
Anno accademico 2016/2017
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 2° anno
LINGUAGGI FORMALI
Anno accademico 2015/2016
- DIPARTIMENTO DI MATEMATICA E INFORMATICA
Corso di laurea magistrale in Informatica - 2° anno
LINGUAGGI FORMALI E APPLICAZIONI
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.