Persona
![nessuna immagine disponibile immagine segnaposto](/images/placeholders/person.thumbnail.jpg)
FERRARI MAURO
DIRETTORE DI DIPARTIMENTO
Docenti di ruolo di Ia fascia
Course Catalogue:
Comunicazioni
Cv Allegato
curriculum.pdf (Curriculum dettalgiato)
Description
Ha conseguito la laurea in Scienze dell'Informazione nel 1990 e il Dottorato di Ricerca in Informatica nel 1997.
Dal 2000 al 2004 è stato ricercatore presso l'Università degli Studi di Milano.
Dal 2004 è stato professore associato presso l'Università degli Studi dell'Insubria.
Dal 2018 è professore ordinario di Logica Matematica, Direttore del Dipartimento di Scienze Teoriche e Applicate e Delegato del Rettore alla Didattica e all'innovazione.
È stato membro della commissione per l’Abilitazione Scientifica Nazionale per il settore concorsuale 01/A1- LOGICA MATEMATICA E MATEMATICHE COMPLEMENTARI per il biennio 2021-2023.
Ha pubblicato più di 50 lavori su riviste internazionali e in atti di convegni internazionali.
Ambito di ricerca:
- Ragionamento automatico
- Logiche non classiche: caratterizzazioni semantiche e calcoli.
- Proof-theory della logica intuizionista.
- Proof-complexity
- Logiche descrittive a base costruttiva.
- Applicazioni delle logiche costruttive a sintesi e verifica formale dei programmi.
Dal 2000 al 2004 è stato ricercatore presso l'Università degli Studi di Milano.
Dal 2004 è stato professore associato presso l'Università degli Studi dell'Insubria.
Dal 2018 è professore ordinario di Logica Matematica, Direttore del Dipartimento di Scienze Teoriche e Applicate e Delegato del Rettore alla Didattica e all'innovazione.
È stato membro della commissione per l’Abilitazione Scientifica Nazionale per il settore concorsuale 01/A1- LOGICA MATEMATICA E MATEMATICHE COMPLEMENTARI per il biennio 2021-2023.
Ha pubblicato più di 50 lavori su riviste internazionali e in atti di convegni internazionali.
Ambito di ricerca:
- Ragionamento automatico
- Logiche non classiche: caratterizzazioni semantiche e calcoli.
- Proof-theory della logica intuizionista.
- Proof-complexity
- Logiche descrittive a base costruttiva.
- Applicazioni delle logiche costruttive a sintesi e verifica formale dei programmi.
Settori (3)
Parole chiave (2)
LOGICHE NON CLASSICHE
RAGIONAMENTO AUTOMATICO
No Results Found
Descrizione linee ricerca (5)
Complessità delle dimostrazioni in logiche non classiche
Logiche costruttive e loro applicazione all'analisi e alla sintesi dei programmi
Logiche descrittive a base on classica
Ragionamento automatico e dimostrazione automatica di teoremi
Teoria della dimostrazione per la logica intuizionista e le logiche non classiche
No Results Found
Referente di
Logiche non classiche
GruppoPubblicazioni (54)
Partecipazioni scientifiche (2)
Socio effettivo o corrispondente
- Gruppo Nazionale per il Calcolo Scientifico (Italia)
(2021 - )
2021
Socio effettivo o corrispondente
- AILA - Associazione Italiana di Logica e sue Applicazioni (Italia)
(2018 - )
2018
No Results Found
Direzioni enti
Incarico svolto presso: FERRARI MAURO
No Results Found
Collegi di dottorato (18)
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
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA E MATEMATICA DEL CALCOLO-2017
(ciclo: 33 - Anno: 2017
2017
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA E MATEMATICA DEL CALCOLO-2016
(ciclo: 32 - Anno: 2016
2016
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA E MATEMATICA DEL CALCOLO-2015
(ciclo: 31 - Anno: 2015
2015
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA E MATEMATICA DEL CALCOLO-2014
(ciclo: 30 - Anno: 2014
2014
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA E MATEMATICA DEL CALCOLO-2013
(ciclo: 29 - Anno: 2013
2013
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA-2012
(ciclo: 28 - Anno: 2012
2012
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA-2011
(ciclo: 27 - Anno: 2011
2011
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA-2010
(ciclo: 26 - Anno: 2010
2010
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA-2009
(ciclo: 25 - Anno: 2009
2009
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA-2008
(ciclo: 24 - Anno: 2008
2008
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA-2007
(ciclo: 23 - Anno: 2007
2007
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA-2006
(ciclo: 22 - Anno: 2006
2006
)
No Results Found
Insegnamenti offerta formativa corrente (3)
SCV0327 - AUTOMI E LINGUAGGI
Primo Semestre (23/09/2024 - 20/12/2024)
- 2024
Laurea
6 CFU
52 ore
SCV0327 - AUTOMI E LINGUAGGI
Primo Semestre (23/09/2024 - 20/12/2024)
- 2024
Laurea
6 CFU
52 ore
SCV0627 - PROGRAMMAZIONE FUNZIONALE
Secondo Semestre (17/02/2025 - 30/05/2025)
- 2024
Laurea
6 CFU
48 ore
No Results Found