Person
Communications
Publications (64)
Research and teaching at institutions (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 at: 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 at: University of Leeds - Titolare di contratto di ricerca
(01/10/2011 - 31/03/2013)20111001
No Results Found
Congresses
Program chair (presidente/responsabile del comitato scientifico) - special session "History and philosophy of computing" - Computability in Europe 2015 (CiE2015) (01/01/2015 - ) 20150101
No Results Found
Doctoral college (12)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA E MATEMATICA DEL CALCOLO-2018
(cycle: 34 - Year: 2018
2018
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA E MATEMATICA DEL CALCOLO-2017
(cycle: 33 - Year: 2017
2017
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA E MATEMATICA DEL CALCOLO-2016
(cycle: 32 - Year: 2016
2016
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA E MATEMATICA DEL CALCOLO-2015
(cycle: 31 - Year: 2015
2015
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA E MATEMATICA DEL CALCOLO-2014
(cycle: 30 - Year: 2014
2014
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA E MATEMATICA DEL CALCOLO-2013
(cycle: 29 - Year: 2013
2013
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA-2012
(cycle: 28 - Year: 2012
2012
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA-2011
(cycle: 27 - Year: 2011
2011
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA-2010
(cycle: 26 - Year: 2010
2010
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA-2009
(cycle: 25 - Year: 2009
2009
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA-2008
(cycle: 24 - Year: 2008
2008
)
Università degli Studi INSUBRIA Varese-Como -
INFORMATICA-2007
(cycle: 23 - Year: 2007
2007
)
No Results Found
Courses (5)
2 CFU
12 hours
2 CFU
12 hours
8 CFU
78 hours
6 CFU
54 hours
9 CFU
72 hours
No Results Found
Third Mission
Organizzazione di concerti, spettacoli teatrali, rassegne cinematografiche, eventi sportivi, mostre, esposizioni e altri eventi di pubblica utilità aperti alla comunità (Relatore/Relatrice)
- Cinescience - 4a ediz.
Villa Calcaterra, Via Magenta 70, Busto Arsizio (VA) (25/06/2025 - 02/07/2025) 20250625
DIPARTIMENTO DI SCIENZA E ALTA TECNOLOGIA
DIPARTIMENTO DI BIOTECNOLOGIE E SCIENZE DELLA VITA
No Results Found