Persona
BENINI MARCO

BENINI MARCO

Ricercatori
DIPARTIMENTO DI SCIENZA E ALTA TECNOLOGIA
Course Catalogue:
https://uninsubria.coursecatalogue.cineca.it/docen...

Pubblicazioni (64)

Ricerca e didattica presso enti (2)

Visiting Researcher all'interno del progetto di ricerca "Correctness by Construction" (CORCON), 7th framework programme, schema FP7-PEOPLE-2013-IRSES, grant agreement number PIRSES-GA-2013-612638 presso: JAIST Japan Advanced Institute of Science and Technology - Visiting Researcher (15/05/2014 - 16/06/2014)
Marie Curie Research Fellow: Principal Investigator nel progetto "Predicative Theories and Grothendieck Toposes", grant PIEF-GA-2010-271926 presso: University of Leeds - Titolare di contratto di ricerca (01/10/2011 - 31/03/2013)
No Results Found

Congressi

Program chair (presidente/responsabile del comitato scientifico) - special session "History and philosophy of computing" - Computability in Europe 2015 (CiE2015) (01/01/2015 - )
No Results Found

Collegi di dottorato (12)

Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2018 (ciclo: 34 - Anno: 2018 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2017 (ciclo: 33 - Anno: 2017 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2016 (ciclo: 32 - Anno: 2016 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2015 (ciclo: 31 - Anno: 2015 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2014 (ciclo: 30 - Anno: 2014 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA E MATEMATICA DEL CALCOLO-2013 (ciclo: 29 - Anno: 2013 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA-2012 (ciclo: 28 - Anno: 2012 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA-2011 (ciclo: 27 - Anno: 2011 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA-2010 (ciclo: 26 - Anno: 2010 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA-2009 (ciclo: 25 - Anno: 2009 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA-2008 (ciclo: 24 - Anno: 2008 )
Università degli Studi INSUBRIA Varese-Como - INFORMATICA-2007 (ciclo: 23 - Anno: 2007 )
No Results Found

Insegnamenti offerta formativa corrente

SCC0593 - MATHEMATICAL LOGIC

Secondo Semestre (24/02/2025 - 13/06/2025) - 2024
MATEMATICA ( DIPARTIMENTO DI SCIENZA E ALTA TECNOLOGIA )
Laurea Magistrale
8 CFU
78 ore
No Results Found

Ricevimento

Video

Risorse Utili