Skip to Main Content (Press Enter)

Logo UNINSUBRIA
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Attività
  • Competenze

UNI-FIND
Logo UNINSUBRIA

|

UNI-FIND

uninsubria.it
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Attività
  • Competenze
  1. Persone
Persona
GERLA BRUNELLA

GERLA BRUNELLA

Docenti di ruolo di Ia fascia
DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE
Course Catalogue:
https://uninsubria.coursecatalogue.cineca.it/docen...

Gruppo 01/MATH-01 - LOGICA MATEMATICA, DIDATTICA E STORIA DELLA MATEMATICA

Settore MATH-01/A - Logica matematica
  • Contatti
  •  brunella.gerla@uninsubria.it
  •  0332 21 8988
  • Avvisi
  • Cv
  • Aree Di Ricerca
  • Afferenze
  • Progetti
  • Pubblicazioni
  • Premi E Incarichi Scientifici
  • Altre Attività
  • Insegnamenti
  • Terza Missione
  • Ricevimento
  • Risorse Utili

Comunicazioni

Description

Nata a Napoli il 1-11-1973

Titoli di studio:
* 2002 -- Dottorato in Informatica conseguito presso l'università di Milano, tesi dal titolo "Many-valued logics based on continuous t-norms and their functional representation", supervisor Prof. D. Mundici.
* 1996. -- Laurea in Matematica ( Università di Napoli, supervisor Prof. A. Di Nola),


Posizione:
* da Novembre 2023 ad oggi - Professore Ordinario (MAT/01) presso il DiSTA, Università dell'Insubria.
* da Novembre 2014 a Ottobre 2023 - Professore Associato (MAT/01) presso il DiSTA, Università dell'Insubria.
* da Novembre 2005 a Ottobre 2014 - Ricercatore di Logica Matematica presso il DICOM (poi DiSTA), Università dell'Insubria.
* da Novembre 2002 a Ottobre 2005 - Ricercatore di Logica Matematica presso il DMI, Università di Salerno.
* da Gennaio 2002 a Ottobre 2002 - Post-doc al DMI, Università di Salerno.
* da Novembre 1998 a Ottober 2001 - dottoranda presso il DSI, Università di Milano.




La mia attività di ricerca si svolge nell'ambito delle logiche many-valued, in particolare sugli aspetti algebrici di tali logiche. Autrice di una sessantina di pubblicazioni su riviste internazionali del settore. Svolgo e ho svolto attività didattica sia per corsi base di Matematica e Informatica che per corsi avanzati di Logica Matematica.


Attività editoriali:

• Dal 2025 Area editor (Mathematical Logic) della rivista Fuzzy Sets and Systems, edita da Springer Verlag. Dal 2010 a oggi nell’editorial board della rivista.
• Dal 2003 al 2010 managing editor della rivista Soft Computing, edita da Springer Verlag.
• Reviewer per numerevoli riviste internazionali, tra le quali: Theoretical Computer Science, Mathematical Logic Quarterly, Archive for Mathematical Logic, Fuzzy Sets and Systems, International Journal for Approximate Reasoning, Fundamenta Informaticae.
• Reviewer per conferenze internazionali del settore.
• Reviewer per il Mathematical Review dell’AMS e per Zentralblatt Math.
• Co-editor (con S. Aguzzoli, A. Ciabattoni, C. Manara e V. Marra) di un volume LNAI 4460 ”Algebraic and Proof-Theoretic Aspects of Non-classical Logics”, Springer (2007).
• Co-editor (con S. Aguzzoli e V. Marra) di un numero speciale della rivista Journal of Logic and Computation, Oxford University Press, 21 (2011).
• Co-editor (con S. Aguzzoli e V. Marra) di un numero speciale della rivista Soft Computing, Springer, 16 (2012).
• Co-editor (con A.R. Ferraioli, C. Russo e L. Spada) di un numero speciale della rivista Mathematica Slovaca (2012).



Progetti:
• Local coordinator, for the University of Insubria, of the RISE PROJECT Mosaic (2021-2025), Modalities in Substructural Logics: Theory, Methods and Applications.
• Local coordinator, for the University of Insubria, of the RISE PROJECT Sysmics (2016-2019), Syntax Meets Semantics.
• H2020 RISE 2015 - Sysmics. Ruolo: Responsabile Scientifico.
• FIRB Futuro in Ricerca 2010: Teoria delle probabilità di eventi non classici. Ruolo: Responsabile Unità locale.
• FP7-PEOPLE-2009-IRSES: Mathematical Tools for the Management of Uncertain and Vague Information. Ruolo: Responsabile Scientifico.
• PRIN 2008: Teoremi di rappresentazione e dualità per le algebre delle logiche polivalenti. Ruolo: Partecipante.
• PRIN 2004: Logiche a più valori e informazione incerta: metodologie algebriche. Ruolo: Partecipante.
• PRIN 2002: Logica a più valori e logica fuzzy per il Soft Computing. Ruolo: Partecipante.
• PRIN 2010-2011: Metodi logici per il trattamento dell’informazione. Ruolo: Partecipante.
• Bilaterale Italia-Slovacchia 2008-2010: Commutative and non-commutative methods in Soft Computing. Ruolo: Partecipante.
• Bilaterale Italia-Austria 1998-2000: Analytics Methods in many-valued Logic. Ruolo: Partecipante.

Settori


PE1_1 - Logic and foundations - (2022)

Partecipa a

Logiche non classiche
Gruppo

Ricerca finanziata

Modal logics are a family of formal systems based on classical logic which aim at improving the expressive power of the classical calculus allowing to reason about modes of truth 
Progetti di ricerca UE - Programmi Quadro
Progetto
Responsabile scientifico
2021
48 mesi
No Results Found

Pubblicazioni (71)

  • ascendente
  • decrescente
  • Tutti
  • All
  • Open
  • Partially Open
  • Mixed
  • Embargoed
  • Reserved

Comitati editoriali (2)

Membro del Comitato Editoriale - FUZZY SETS AND SYSTEMS - ISSN: 0165-0114 - Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598 (2019 - ) 2019
Membro del Comitato Editoriale - SOFT COMPUTING - ISSN: 1432-7643 - Heidelberg ; Berlin : Springer (2003 - 2010) 2003
No Results Found

Collegi di dottorato (7)

Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2024 (ciclo: 40 - Anno: 2024 2024 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2023 (ciclo: 39 - Anno: 2023 2023 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2022 (ciclo: 38 - Anno: 2022 2022 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2021 (ciclo: 37 - Anno: 2021 2021 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2020 (ciclo: 36 - Anno: 2020 2020 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2019 (ciclo: 35 - Anno: 2019 2019 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2018 (ciclo: 34 - Anno: 2018 2018 )
No Results Found

Tutoraggio (3)

tutorship - Dottorandi - NASTASI SARAH
tutorship - Dottorandi - BOFFA STEFANIA
tutorship - Dottorandi - MARIGO FRANCESCO
No Results Found

Insegnamenti offerta formativa corrente (3)

SCV0002 - ALGEBRA E GEOMETRIA

Primo Semestre (22/09/2025 - 19/12/2025) - 2025
9 CFU
72 ore

SCV0314 - LOGICA

Secondo Semestre (23/02/2026 - 29/05/2026) - 2025
6 CFU
48 ore

SCV0314 - LOGICA

Secondo Semestre (23/02/2026 - 29/05/2026) - 2025
6 CFU
48 ore
No Results Found

Public Engagement

Attività di coinvolgimento e interazione con il mondo della scuola (Organizzatore) - Parliamo di Intelligenza artificiale
DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE
Istituto Comprensivi "E. Franceschini", Rho (MI) (30/11/2023 - 30/11/2023) 20231130
No Results Found

Ricevimento

Video

Risorse Utili

  • Accessibilità
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.1.3.0