Research

Settore scientifico disciplinare di attività: INF_01 - INFORMATICA

Gruppo di ricerca: Formal Methods in Computing
Interessi di ricerca: Design and foundations for object-oriented languages, Behavioural types, Sub-structural logics,
Formulae-as-types.

Di seguito, l'elenco dei miei progetti in ordine cronologico:

MIUR PRIN 2010-2011 CINA
(Composizionality, Interaction,
Negotiation, Autonomicity
for the future ICT society)
POR FESR 2007/2013
"Piattaforma Ibridi Elettrici.
Veicoli E Reti di Distribuzione
Ecosostenibili (PIE_VERDE)"
COST ACTION BETTY
Ateneo/CSP Project
MIUR PRIN 2008
DISCO - Distribution,
Interaction, Composition,
Specification for Object Systems
(03/2010 - 09/2012, responsible for the Torino site)
BioBits: developing white
and green technologies by
converging platforms from
biology and information technology
towards metagenomics
(Regione Piemonte, 2009-2012)
MIUR PRIN EOS DUE
(02/2007 - 02/2009)
MIUR PRIN EOS
(11/2004 - 11/2006)
EC project TYPES
(EU coordination
action 510996, 2004-2008)
EC project DART
(Project No.: IST-2001-33477,
start: 01/01/2002,
duration: 36 months)
EC project Computer-Assisted
Reasoning Based on Type Theory
(IST working group 29001,
2000-2003)
Cofin'01 NAPOLI
(Network Aware Programming:
Objects, Languages,
Implementations)
Cofin'00 Constructive Methods
in Topology, Algebra, and
Program Analysis
Cofin'00 Abstract interpretation,
type systems, and control-flow
analysis
Cofin'99 TOSCA
(Theory of Concurrency,
Higher Order, and Types)