Persona
Comunicazioni
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)20140515
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)20111001
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 - )
20150101
No Results Found
Collegi Di Dottorato (12)
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
)
No Results Found
Insegnamenti (4)
8 CFU
64 ore
8 CFU
78 ore
6 CFU
48 ore
6 CFU
48 ore
No Results Found