Persona
BENINI MARCO

BENINI MARCO

Ricercatori
DIPARTIMENTO DI SCIENZA E ALTA TECNOLOGIA

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) (2015-01-01 09:37:55.714 - )
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

Ricevimento

Video

Risorse Utili