Marcella ANSELMO | Curriculum

Titoli di studio e posizione accademica

1986: Laurea in Matematica, cum laude, Università di Palermo

1988: D.E.A. (Diplome d’Etudes Approfondis) in Informatica Teorica, Université Paris 7-Francia

1990: Dottorato in Informatica Teorica, Université Paris 7-Francia

1991 - 2001: Ricercatrice a Tempo Indeterminato in Informatica, Università di Salerno

2002 - oggi: Professore Associato in Informatica, Università di Salerno

2021: Abilitazione Scientifica Nazionale (ASN) a Professore di I fascia, SC 01/B1 Informatica, SSD INF01 (valevole fino al 29/04/2030)

Attività didattica

1991 – oggi: Insegnamenti del corso di Laurea e Laurea Triennale in Informatica dell’Università di Salerno su

Algoritmi e strutture dati, Architettura degli elaboratori, Fondamenti di programmazione, Teoria della computazione.

Responsabilità scientifiche e organizzative

2021 – 2027: Membro dell’Executive Committee come Tesoriera dell’Associazione Computability in Europe

2021 – 2027: Membro dello Steering Committee della serie di conferenze “Computability in Europe”

2019 – 2027: Membro del Council dell’Associazione Computability in Europe

2019 – 2020: Program Committee e Organizing Committee co-chair della conferenza internazionale “Computability in Europe: Beyond the horizon of Computability” (CiE 2020).

2005 – 2006: Co-chair del Workshop internazionale “Advances on Two-dimensional Languages”, Salerno, finanziato dalla European Science Foundation (ESF), PESC, AutoMathA.

Membro del Program Committee delle seguenti conferenze: NCMA24, CiE22, CiE16, ICTCS10, ICTCS07, FUN07.

Progetti scientifici

Membro dei seguenti progetti MIUR PRIN su Automi e Linguaggi Formali:

1998-2000: “Innovative Computational Models: Syntactic and combinatorial Methods”

2003-2005: "Formal languages and Automata: Methods, Models and Applications"

2005-2007: "Automata and Formal languages: mathematical and application driven studies”

2007-2009: "Mathematical aspects and emerging applications of automata and formal languages"

2010-2011: "Automata and Formal Languages: Mathematical and Applicative Aspects"

Membro dei seguenti progetti INdAM – GNCS:

2017: “Codici di stringhe e matrici non sovrapponibili”

2018: “Proprietà combinatorie e rilevamento di pattern in strutture discrete lineari e bidimensionali” (Responsabile)

2019: “Studio di proprietà combinatoriche di linguaggi formali ispirate dalla biologia e da strutture bidimensionali”

2020: “Combinatoria delle permutazioni, delle parole e dei grafi: algoritmi e applicazioni”

2022: “Stringhe e matrici: combinatoria, enumerazione e algoritmi”

2023: “Aspetti combinatori ed enumerativi di strutture discrete: stringhe, ipergrafi e permutazioni.”

Membro della Cooperazione Scientifica CNR-CNRS fra Università di Salerno e LIAFA -Université Paris 7 – Francia

2000-2001: Progetto “Formal Languages and Symbolic dynamics: combinatorial methods”

2002-2003: Progetto “Automata Theory”

Membro del Progetto ASMICS, “Algebraic and Syntactic Methods in Computer Science”, finanziato dal programma ESPRIT-BRA della CEE, 1993-1997.

Pubblicazioni scientifiche

I dati seguenti sono stati ottenuti dalle fonti indicate in data 8/2/2024:

- DBLP: 26 journal papers, 32 conference papers, 1 book as editor and 3 informal publication, 14 co-authors

- Scopus: 60 documents, 439 citations by 176 documents, H-index 12, 21 co-authors

- Google Scholar: 72 documents, 636 citations, H-index 15, i10-index 23

Attività editoriale

Guest editor di una special issue della rivista RAIRO nel 2012

Co-editor di un volume della serie Lecture Notes in Computer Science (12098: Proc. CiE2020)

Principali aree di ricerca

• Combinatoria delle parole: parole e insiemi isometrici rispetto distanze di Hamming e Lee. Fattorizzazione di linguaggi formali e codici di stringhe.
• Linguaggi bidimensionali di matrici di simboli in un alfabeto (immagini o picture): riconoscibilità mediante tiling systems, espressioni regolari e altri modelli di calcolo (determinismo, non ambiguità, caso unario). Proprietà di overlap tra le immagini. Codici di picture bidimensionali: decidibilità, proprietà combinatorie e caratterizzazioni.
• Rappresentazioni di linguaggi regolari e liberi dal contesto: Grammatiche Non-Self-Embedding, Descrizione Associativa del Linguaggio (ALD), Struttura di automi unari non ambigui, Automi con molteplicità e automi probabilistici.