Person
BENINI MARCO

BENINI MARCO

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

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)
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)
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 - )
No Results Found

Doctoral college (12)

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

Courses (5)

CFI0045 - Fondamenti della Matematica

Annuale (03/03/2025 - 31/05/2025) - 2025
2 CFU
12 hours

CFI0045 - Fondamenti della Matematica

Annuale (16/02/2026 - 30/05/2026) - 2025
2 CFU
12 hours

SCC0593 - MATHEMATICAL LOGIC

Secondo Semestre (23/02/2026 - 12/06/2026) - 2025
8 CFU
78 hours

SCC1166 - MATHEMATICAL LOGIC

Secondo Semestre (23/02/2026 - 12/06/2026) - 2025
6 CFU
54 hours

SCC1167 - HISTORY OF MATHEMATICS

Secondo Semestre (23/02/2026 - 12/06/2026) - 2025
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.
DIPARTIMENTO DI SCIENZA E ALTA TECNOLOGIA
DIPARTIMENTO DI BIOTECNOLOGIE E SCIENZE DELLA VITA
Villa Calcaterra, Via Magenta 70, Busto Arsizio (VA) (25/06/2025 - 02/07/2025)
No Results Found

Office Hours

Video

Useful Resources