MODELLO

1. Informazioni generali

Corso di Dottorato

Il corso è:	Rinnovo
Denominazione del corso	INFORMATICA E INGEGNERIA DEI SISTEMI/ COMPUTER SCIENCE AND SYSTEMS ENGINEERING
Cambio Titolatura?	NO
Ciclo	36
Data presunta di inizio del corso	01/11/2020
Durata prevista	3 ANNI
Dipartimento/Struttura scientifica proponente	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)
Dottorato in collaborazione con le imprese/dottorato industriale (art. 11 del regolamento):	NO [dato riportato in automatico dalla sezione "Tipo di Organizzazione"]
Dottorato in collaborazione con Università e/o enti di ricerca esteri (art. 10 del regolamento):	NO [dato riportato in automatico dalla sezione "Tipo di Organizzazione"]
Dottorato relativo alla partecipazione a bandi internazionali:	NO	Altra tipologia se altra tipologia: -
se SI, Descrizione tipo bando
se SI, Esito valutazione
Il corso fa parte di una Scuola?	NO
Presenza di eventuali curricula?	SI
Sito web dove sia visibile l'offerta formativa prevista ed erogata	http://phd.dibris.unige.it/csse/

AMBITO: indicare i settori scientifico disciplinari coerenti con gli obiettivi formativi del corso

n.	Settori scientifico disciplinari interessati (SSD)	Indicare il peso percentuale di ciascun SSD nel progetto scientifico del corso	Settori concorsuali interessati	Macrosettore concorsuale interessato	Aree CUN-VQR interessate
1.	INF/01	% 61,00	INFORMATICA	01/B - INFORMATICA	01 - Scienze matematiche e informatiche
2.	ING-INF/05	% 15,00	SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI	09/H - INGEGNERIA INFORMATICA	09 - Ingegneria industriale e dell'informazione
3.	ING-INF/04	% 15,00	AUTOMATICA	09/G - INGEGNERIA DEI SISTEMI E BIOINGEGNERIA	09 - Ingegneria industriale e dell'informazione
4.	MAT/09	% 9,00	RICERCA OPERATIVA	01/A - MATEMATICA	01 - Scienze matematiche e informatiche
	TOTALE	% 100,00

Descrizione e obiettivi del corso

Il Corso di Dottorato in Informatica e Ingegneria dei Sistemi del Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi dell'Università di Genova, nato nel 2014 integrando tematiche di Ingegneria dei Sistemi all’interno del Dottorato di Informatica è conforme a standard internazionali di alta qualità e offre ai propri studenti un'ampia scelta di argomenti, corsi e un ricco programma di seminari di scienziati di alta reputazione internazionale. Con riferimento ai dati 2019 di AlmaLaurea, il tasso di occupazione è vicino al 90%. Il corso di dottorato è strutturato in 3 curriculum: Informatica, Ingegneria dei sistemi, Ricerca Multidisciplinare ed Applicata.
Le linee di ricerca possono essere classificate secondo le seguente macro-tematiche: Intelligenza artificiale, Sistemi multi-agente, Data science and engineering, Ingegneria dei Sistemi, Secure and Reliable Systems, Interazione uomo-macchina, Scienza e tecnologia per la salute con collaborazioni legate ai temi di bioingegneria, robotica e digital humanities con gli altri dottorati legati al Dibris. Il corso è per natura di carattere interdisciplinare grazie anche alla partecipazione a numerose iniziative come i laboratori CINI.

Sbocchi occupazionali e professionali previsti

IIl training e le competenze (che partendo da una gamma molto ampia di argomenti permette la specializzazione in determinati ambiti) fornite dal nostro corso garantiscono possibilità occupazioni di alto livello come testimoniato sia le statistiche di Alma Laurea relativa ai macro-settori disciplinari coinvolti nel corso sia le statistiche raccolte internamente relativamente agli sbocchi occupazionali dei nostri dottorandi.
Il collegamento con istituti di ricerca nazionali, tra i quali il CNR-Imati, e i numerosi contatti con aziende italiane e straniere hanno permesso infatti nel corso degli anni di garantire ai nostri dottorandi un tasso occupazionale vicino al 90% con occupazioni di alta se non eccezionale qualità. In particolare attualmente risultano assunti come ricercatori a tempo indeterminato in Università o istituti di ricerca italiani e stranieri più di 20 dottorandi che hanno acquisito il titolo nel nostro dottorato. Con riferimento all’indagine occupazionale dei Dottori di Ricerca svolta da AlmaLaurea nel 2019 (studenti che hanno conseguitolo il titolo nel 2018), il tasso di occupazione nelle aree di ingegneria (89%) e scienze di base (85%) è decisamente superiore a tutte le altre discipline. La totalità del collettivo dichiara di svolgere di attività di ricerca nel proprio lavoro e ritiene che le competenze acquisite con il dottorato siano utili in maniera elevata nell’attuale occupazione.

Sede amministrativa

Ateneo Proponente:	Università degli Studi di GENOVA
N° di borse finanziate	10
Sede Didattica	Genova

Tipo di organizzazione

1) Singola Università

Note

2. Collegio dei docenti

Coordinatore

Cognome	Nome	Ateneo Proponente:	Dipartimento/ Struttura	Qualifica	Settore concorsuale	Area CUN-VQR
DELZANNO	Giorgio	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Professore Ordinario (L. 240/10)	01/B1	1

Curriculum del coordinatore

Laurea in Scienze dell'Informazione,, Università di Genova, Giugno 1992
PhD in Computer Science, Consorzio Università di Genova-Pisa-Udine, Marzo 1997
con tesi Logic and Object-oriented Programming in Linear Logic, Advisor: Prof. Maurizio Martelli
Postdoc presso il Max-Planck-Institut fuer Informatik Saarbruecken, Germania, October 1997-October 1999.
Ricercatore INF/01, Aprile 2000
Abilitazione per Professore Associato INF/01, Luglio 2002
Professore Associato INF/01 presso l'Università di Genova dal Gennaio 2005
Abilitazione per Professore Ordinario (ASN 2013) INF/01
Professore Ordinario INF/01 presso l'Università di Genova da Luglio 2018

Età accademica: 25 (scholar), 19 (scopus)
• Numero complessivo di articoli su rivista: 38
• Numero complessivo di articoli su libro/Curatele: 10
• Numero complessivo di articoli su conferenze/workshop: 92
• Numero complessivo di citazioni: 2577 (scholar)
• H-index: 28 (scholar)
• i10-index: 57 (scholar)

Visiting Position

Visiting Fellow at
UPENN Philapelphia, Prof. D. Miller, March-May 1995
Loria Nancy, Prof. D. Galmiche, October-December 1996.
Visiting Researcher at
University of Munich, Pr. J. Esparza, one week in June 1999.
LSV-ENS Cachan, Paris, Dr. L. Fribourg, one week in July 1999.
Universitè Libre de Bruxelles, Prof. J.-F. Raskin, one week in Sept. 1999.
UPENN Philadelphia, Prof. R. Alur and Dr. S. La Torre, July 2000.
Bell Labs, Murray Hill, Dr. K. Namjoshi, two weeks, August 2000.
Microsoft Research, Redmond, Prof. J. Larus and Dr. S. Rajamani, August 2000.
Universitè Libre de Bruxelles, Prof. J.-F. Raskin, two weeks, March 2000, May 2001.
University of Uppsala, Prof. P. A. Abdulla, April 2001.
INRIA-LORRAINE, Nancy, Prof. M. Rusinowitch, May 2002.
CMI Universitè de Provence-Marseille, Prof. R. Amadio, November 2003.
LIAFA, Universitè Diderot, Paris 7, Prof. A. Bouajjani, June 2008.
Uppsala University, Prof. P. A. Abdulla, June 2010.
ULB, Bruxelles, Prof. J.-F. Raskin, February 2011.
IMDEA Software, Madrid, Dr. Pierre Ganty, April 2011.
Uppsala Univ., Prof. P. A. Abdulla 1, March 2011.
Uppsala Univ., Prof. A. Abdulla, October 2012
Invited Professor at LIAFA, Univ. Diderot, Paris 7, Prof. A. Bouajjani, June-July 2011

Projects
MURST 2001: Tecniche di Analisi e Verica per Protocolli Utilizzati in Sistemi Concorrenti e Distribuiti. Finanziamenti a progetti di singoli e/o giovani ricercatori - DR n° 226 del 25.10.2000, Università di Genova, Area 01, Scienze matematiche.

MSR 2001: Financial support from Microsoft Research, Redmond, Seattle, USA, for research on constraint based Verification, 2001.

ULB 2001: Financial support from ULB, Bruxelles for research collaboration on Infinite-state model checking, 2001.

MURST 2002: Verifica di Protocolli di Sicurezza in Ambienti Multi-client
Individual project founded by the Italian Minister for Education, University and Research, 2002.
Finanziamenti a progetti di singoli e/o giovani ricercatori - DR n° 226 del 25.10.2000, Università di Genova, Area 01, Scienze matematiche

PRIN 2002-2004: COVER Verica di Sistemi Reattivi basata su Vincoli
National project founded by the Italian Minister for Education, University and Research, 2002-2004. Area 01,
Scienze matematiche

PRIN 2003-2005: Progetto nazionale cofinanziato dal MIUR: Sintesi di procedure di decisione basate sulla deduzione con applicazioni all'analisi formale e automatica di programmi. Area 09 Ingegneria industriale e dell'informazione

PRIN 2006-2008: Progetto nazionale cofinanziato dal MIUR: Vincoli e preferenze come formalismo unificante per l'analisi di sistemi informatici e la soluzione di problemi reali. Area 01, Scienze matematiche, Coordinatore unità di Genova

PRIN 2010-2012: Progetto nazionale cofinanziato dal MIUR: DISCO, Distributed and Concurrent Object Systems. Area 01, Scienze matematiche, Membro unita' di Genova

PRIN 2012-2015: Progetto nazionale cofinanziato dal MIUR: CINA. Area 01, Scienze matematiche, Membro unita' di Genova

NARVALO 2015, .Navigazione satelittare di precisione per la sicuRezza e la Viabilità in Aree Logistiche, Codice Unico di Progetto (CUP) . F52F15000040005 Progetto ASI, Membro unita' di Genova

Progetti SIIT: Sintesis e Plug-in, in entrambi membro dell'unità UNIGE

Progetto SEED-DIBRIS su Cooperative Computational Thinking

Progetto di consolenza industriale Liquida on Line su sviluppo di web app progressive

Awards
Best paper award Model Checking in CLP at TACAS - ETAPS 1999
Best paper award Regular model checking without transducers at TACAS - ETAPS 2007
Best paper award On the Qualitative Analysis of Conformon P-systems at Workshop on Membrane Computing
(WMC) 2008

Organization
Program Chair SAVE 2001, ICLP 2001 workshop on specification, Analysis
and Validation for Emerging Technologies in Computational Logic.
SAVE 2002, second edition of SAVE, FLOC 2002.
RP 2011, 5th International Workshop on Reachability Problems, 28-30 September 2011, Genova.

PV 2014, 1st International Workshop on Parameterized Verification, 6 September 2014, Roma.

PV 2015, 2nd International Workshop on Parameterized Verification, 4-5 September 2015, Madrid.

GandALF 2015, 6th International Symposium on Games, Logics and Formal Verification, 21-22 September 2015, Genova.

International PhD School Movep 2016, Modeling and Verification of Parallel Processes, Genova

Steering committee Movep 2018 e Movep 2019

Partecipazione ad Organizzazione di Conferenze ICLP 1994, Int'l Conference on Logic Programming, Santa Margherita Ligure, Genova.
ETAPS 2001, European Joint Conferences on Theory and Practice of Software, Genova, 2001.

Program Committee (from 2001)
SAVE 2001 and 2002.
INFINITY 2002, a CONCUR 2002 Satellite Workshop.
AGP 2002,
Time for the Web 2003
TACAS 2004 (ETAPS 2004)
CP+CV 2004
SVV 03: International Workshop on Software Verification and Validation in conjunction
CDB 2004: Symposium on Applications of Constraint Databases
WISP 2004: Workshop on Issues in Security and Petri nets
LOPSTR 2004:
ICLP 2005, 2006: International Conference on Logic Programming
PADTAD 2003-2011: Int. Workshop on Parallel and Distributed Systems: Testing and Debugging
FInCo 2005, 2006, 2007: Workshop on the Foundations of Interactive Computation
MTCoord 2006, 2007: International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems
PPDP 2007
CILC 2008: 23-esimo Convegno Italiano di Logica Computazionale
FCT 2009: 17th International Symposium on Fundamentals of Computation Theory
TACAS 2010 (ETAPS 2010)
MEMICS 2010
RP 2011, 2012, 2013: 5th International Workshop on Reachability Problems
Infinity 2013: 15th International Workshop on Verification of Infinite-State Systems, ATVA 2013
TACAS 2011 (ETAPS 2011)
TACAS 2012 (ETAPS 2012)
WooPS 2012: Workshop on Petri Net Security
FOSSACS 2013 (ETAPS 2012)
SPIN 2013: International SPIN Workshop on Model Checking of Software
MFCS 2013: International Conference on Mathematical Foundations of Computer Science
ATVA 2014: 12th International Symposium on Automated Technology for Verification and Analysis
ICTCS 2014: 15th Italian Conference on Theoretical Computer Science
LATA 2010, 2014: 8th International Conference on Language and Automata Theory and Applications
DIDAMATICA 2015: 29esima edizione del Convegno su Didattica Informatica, Genova, 2015
GandALF 2010, 2011, 2015: Symposiun on Games, Automata, Logic and Formal Verification
SSS 2015: 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems
TGC 2015: 10th International Symposium on Trustworthy Global Computing
SynCoP: 2nd International Workshop on Synthesis of Complex Parameters
PV+SynCoP 2018: International Workshop on Synthesis of Complex Parameters, ETAPS 2018
RP 2018: International Conference on Reachability Problems
HCVS 2018, Satellite Workshop of FLOC 2018
HCVS 2019, Satellite Workshop of ETAPS 2019

Conference Review
ATVA 2014, 2015, CAV 2013, 2014 CONCUR 2014, Coordination 2015, CSL-LICS 2014, CSR 2015, FCT 2009, FM 2015, FoSSaCS 2013, FSTTCS 2015, GANDALF 2010, 2011, 2015, GULPTH12, ICLP 2006, ICLP 2005, ICTCS 2014, INFINITY 2013, JAR-CS'09, LATA 2010, LATA 2013, LATA 2014, LICS 2013, LOPSTR 2005, LPAR 2015, MEMICS'10, MFCS 2013, MTCoord 2007, 2008, PADTAD 2008-2012, RP 2011-13, SSS 2015, SynCoP 2015, TACAS 2010-12, 2014, TGC 2015, Movep 2016, CP 2016, FoSSaCS 2016, FM 2016, RP 2016, CONCUR 2017, TACAS 2017, TACAS 2018, IJCAR 2018, TACAS 2019

Journal Reviews
Theoretical Computer Science, Software Tool for Technology Transfer, Information and Computation, Fundamentae Informatica, Acta Informatica, Journal of Logical and Algebraic Methods in Programming, Distributed Computing, Formal Methods in System Design, Theory and Practice of Logic Programming,Journal of Automated Reasoning, IEEE Transactions on Software Engineering, Transactions on Computational Logic, FOAC, Mathematical Methods in Computer Science

PhD Courses
Introduction to Operating Systems, 10hrs, University of Genova, Italy, July 2008
MCG '10, Model Checking and Games, 20hrs, with Arnaud Sangnier, University of Genova, July 2010
McFIS '11, From Finite-state to Infinite-state Model Checking, 20hrs, BISS '12, Bertinoro International PhD
School, Bertinoro, Italy, March 2011
CoLPaV '11, Constraint Languages for Parameterized Verification, 20hrs, ISCL '12, International School on
Computational Logic, Bertinoro, Italy, April 2011
VIS 2012-14: Verification of Infinite-State Systems, 20hrs, University of Genova
VA 2015: Verification and Abstract Interpretation,16hrs, July 2015
LVA 2017: Logic, Verification and Abstraction, 20hrs, January 2017
LVA 2018: Logic, Verification and Abstraction, 4hrs, 2018

Invited Talks
Automatic Verification of Parameterized Cache Coherence Protocols System Design Research Lab, UPENN, July 2000
Automatic Verification of Parameterized Cache Coherence Protocols Bell Labs, July 2000
Automatic Verification of Parameterized Cache Coherence Protocols Microsoft Reseach Redmond, August 2000
Automatic Verification of Parameterized Cache Coherence Protocols, VCL 2001, PLI 2001 Symposium, September 2001.
Automatic Verification of Concurrent Systems with Unbounded Local Data, CFV 2002/CP 2002.
Automatic Verification of Multithreaded and Mobile Programs via Infinite-State Symbolic Model Checking, Meeting on Vérification des propriétés quantitatives, Grenoble, March 2003.
Monotonic Approximations in Parameterized Verification, February 2011 CFV-ULB, Bruxelles
Monotonic Approximations in Parameterized Verification, April 2011 IMDEA-Madrid, Bruxelles
Verification of Unreliable Ad Hoc Networks, June 2011, Liafa-Paris 7
Verification of Ad hoc Networks: Unreliability and Time, July 12, 2011, ENS-Cachan, Paris
Parameterized Verification of Broadcast Networks of Automata, December 2013, FUB, Bolzano
Parameterized Verification and Model Checking for Distributed Broadcast Protocols, ICGT 2014, Infinite-state Model Checking with Data Recycling Dagstuhl Seminar 14141 on Reachability Problems for Infinite-State Systems, April 2, 2014
Parameterized Verification of Distributed Broadcast Protocols, PV 2015, September 5, 2015, Madrid
Parameterized Verification, Scuola AILA, Agosto 2017, Garda
Towards Validation of IoT systems, VPS/Netys 2018, Essaouira

Qualificazione scientifica del coordinatore

1. avere diretto per almeno un triennio comitati editoriali o di redazione di riviste scientifiche di classe A (per i settori non bibliometrici) o presenti nelle banche dati WoS e Scopus (per i settori bibliometrici)	NO
2. avere svolto il coordinamento centrale di gruppi di ricerca e/o di progetti nazionali o internazionali competitivi	NO
3. avere partecipato per almeno un triennio al Collegio dei docenti di un Dottorato di ricerca	SI

Membri del collegio (Personale Docente e Ricercatori delle Università Italiane)

n.	Cognome	Nome	Ateneo	Dipartimento/ Struttura	Ruolo	Qualifica	Settore concorsuale	Area CUN-VQR	SSD	In presenza di curricula, indicare l'afferenza	Stato conferma adesione
1.	DELZANNO	Giorgio	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Coordinatore	Professore Ordinario (L. 240/10)	01/B1	01 - Scienze matematiche e informatiche	INF/01	Informatica/Computer...	ha aderito
2.	CATANIA	Barbara	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Altro Componente	Professore Ordinario (L. 240/10)	01/B1	01 - Scienze matematiche e informatiche	INF/01	Informatica/Computer...	ha aderito
3.	GUERRINI	Giovanna	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Componente del gruppo dei 16	Professore Associato confermato	01/B1	01 - Scienze matematiche e informatiche	INF/01	Informatica/Computer...	ha aderito
4.	CAMURRI	Antonio	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Componente del gruppo dei 16	Professore Ordinario	09/H1	09 - Ingegneria industriale e dell'informazione	ING-INF/05	Informatica/Computer...	ha aderito
5.	ZUCCA	Elena	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Altro Componente	Professore Associato confermato	01/B1	01 - Scienze matematiche e informatiche	INF/01	Informatica/Computer...	ha aderito
6.	ODONE	Francesca	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Componente del gruppo dei 16	Professore Associato (L. 240/10)	01/B1	01 - Scienze matematiche e informatiche	INF/01	Informatica/Computer...	ha aderito
7.	VERRI	Alessandro	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Componente del gruppo dei 16	Professore Ordinario	01/B1	01 - Scienze matematiche e informatiche	INF/01	Informatica/Computer...	ha aderito
8.	VOLPE	Gualtiero	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Componente del gruppo dei 16	Professore Associato (L. 240/10)	09/H1	09 - Ingegneria industriale e dell'informazione	ING-INF/05	Informatica/Computer...	ha aderito
9.	ANCONA	Davide	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Componente del gruppo dei 16	Professore Associato (L. 240/10)	01/B1	01 - Scienze matematiche e informatiche	INF/01	Informatica/Computer...	ha aderito
10.	MASCARDI	Viviana	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Altro Componente	Professore Associato (L. 240/10)	01/B1	01 - Scienze matematiche e informatiche	INF/01	Informatica/Computer...	ha aderito
11.	RICCA	Filippo	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Componente del gruppo dei 16	Professore Associato (L. 240/10)	01/B1	01 - Scienze matematiche e informatiche	INF/01	Informatica/Computer...	ha aderito
12.	MARATEA	Marco	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Componente del gruppo dei 16	Professore Associato (L. 240/10)	09/H1	09 - Ingegneria industriale e dell'informazione	ING-INF/05	Informatica/Computer...	ha aderito
13.	SACONE	Simona	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Componente del gruppo dei 16	Professore Associato confermato	09/G1	09 - Ingegneria industriale e dell'informazione	ING-INF/04	Ingegneria dei Siste...	ha aderito
14.	MINCIARDI	Riccardo	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Altro Componente	Professore Ordinario	09/G1	09 - Ingegneria industriale e dell'informazione	ING-INF/04	Ingegneria dei Siste...	ha aderito
15.	SANGUINETI	Marcello	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Componente del gruppo dei 16	Professore Associato confermato	01/A6	01 - Scienze matematiche e informatiche	MAT/09	Ingegneria dei Siste...	ha aderito
16.	PAOLUCCI	Massimo	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Altro Componente	Professore Associato (L. 240/10)	01/A6	01 - Scienze matematiche e informatiche	MAT/09	Ingegneria dei Siste...	ha aderito
17.	ROSASCO	Lorenzo	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Componente del gruppo dei 16	Professore Ordinario	01/B1	01 - Scienze matematiche e informatiche	INF/01	Informatica/Computer...	ha aderito
18.	CHESSA	Manuela	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Componente del gruppo dei 16	Ricercatore a t.d. - t.pieno (art. 24 c.3-b L. 240/10)	01/B1	01 - Scienze matematiche e informatiche	INF/01	Informatica/Computer...	ha aderito
19.	ROBBA	Michela	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Componente del gruppo dei 16	Professore Associato (L. 240/10)	09/G1	09 - Ingegneria industriale e dell'informazione	ING-INF/04	Ingegneria dei Siste...	ha aderito
20.	MASULLI	Francesco	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Altro Componente	Professore Ordinario	01/B1	01 - Scienze matematiche e informatiche	INF/01	Informatica/Computer...	ha aderito
21.	SIRI	Silvia	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Componente del gruppo dei 16	Professore Associato (L. 240/10)	09/G1	09 - Ingegneria industriale e dell'informazione	ING-INF/04	Ingegneria dei Siste...	ha aderito
22.	LEOTTA	Maurizio	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Altro Componente	Ricercatore a t.d. - t.pieno (art. 24 c.3-a L. 240/10)	01/B1	01 - Scienze matematiche e informatiche	INF/01	Informatica/Computer...	ha aderito
23.	SACILE	Roberto	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Componente del gruppo dei 16	Professore Associato (L. 240/10)	09/G1	09 - Ingegneria industriale e dell'informazione	ING-INF/04	Ingegneria dei Siste...	ha aderito
24.	PUPPO	Enrico	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Componente del gruppo dei 16	Professore Ordinario	01/B1	01 - Scienze matematiche e informatiche	INF/01	Informatica/Computer...	ha aderito
25.	REGGIO	Gianna	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Altro Componente	Professore Associato confermato	01/B1	01 - Scienze matematiche e informatiche	INF/01	Informatica/Computer...	ha aderito
26.	GIUNCHIGLIA	Enrico	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Altro Componente	Professore Ordinario	09/H1	09 - Ingegneria industriale e dell'informazione	ING-INF/05	Informatica/Computer...	ha aderito
27.	NOCETI	Nicoletta	GENOVA	Informatica, bioingegneria,robotica e ingegneria dei sistemi (DIBRIS)	Componente del gruppo dei 16	Ricercatore a t.d. - t.pieno (art. 24 c.3-b L. 240/10)	01/B1	01 - Scienze matematiche e informatiche	INF/01	Informatica/Computer...	ha aderito

Membri del collegio (Personale non accademico dipendente di altri Enti e Personale docente di Università Straniere)

n.	Cognome	Nome	Ruolo	Tipo di ente:	Ateneo/Ente di appartenenza	Paese	Dipartimento/ Struttura	Qualifica	SSD Attribuito	Area CUN-VQR attribuita	In presenza di curricula, indicare l'afferenza	N. di Pubblicazioni (*)
1.	BERTINO	Elisa	Altro Componente	Università straniera	Purdue University	Stati Uniti d'America	CERIAS	Professore di Univ.Straniera	INF/01	01	Informatica/Computer...	50
2.	CLEMATIS	Andrea	Altro Componente	Ente di ricerca (VQR)	Consiglio Nazionale delle Ricerche	Italia	Istituto per la Matematica Applicata e Tecnologie Informatiche	Dirigenti di ricerca	INF/01	01	Informatica/Computer...	12
3.	DE FLORIANI	Leila	Altro Componente	Università straniera	University of Maryland	Stati Uniti d'America	Computer Science Department	Professore di Univ.Straniera	INF/01	01	Informatica/Computer...	40
4.	GOTTLOB	George	Altro Componente	Università straniera	Oxford University	Regno Unito	Computer Science Department	Professore di Univ.Straniera	ING-INF/05	09	Informatica/Computer...	30
5.	KURKOVA	Vera	Altro Componente	Università straniera	Czech Academy of Sciences Prague	Repubblica Ceca	Institute of Computer Science,	Professore di Univ.Straniera	MAT/09	01	Ingegneria dei Siste...	30
6.	TONELLA	Paolo	Altro Componente	Università straniera	Università della Svizzera Italiana Lugano	Svizzera	Software Institute	Professore di Univ.Straniera	INF/01	01	Informatica/Computer...	30

(*) numero di prodotti scientifici pubblicati dotati di ISBN/ISMN/ISSN o indicizzati su WoS o Scopus negli ultimi cinque anni

Principali Atenei e centri di ricerca internazionali con i quali il collegio mantiene collaborazioni di ricerca (max 5) con esclusione di quelli di cui alla sezione 1

n.	Denominazione	Paese	Tipologia di collaborazione
1.	UNIVERSITY OF MARYLAND INSTITUTE FOR ADVANCED COMPUTER STUDIES E COMPUTER SCIENCE DEPARTMENT, UNIVERSITY OF MARYLAND, COLLEGE PARK (USA	Stati Uniti d'America	(max 500 caratteri) la collaborazione e’ in atto da svariati anni su tematiche relative alle basi di dati spaziali, alla computer graphics e alla visione computazionale. Si prevedono periodi di ricerca di docenti, scambio di dottorandi, organizzazione di seminari, corsi per il dottorato. La collaborazione sara' incentivata dalla presenza del prof. Hanan Samet nel Collegio dei docenti.
2.	UNIVERSITE' DENIS DIDEROT, PARIS VII	Francia	(max 500 caratteri) Si prevedono: (1) scambio di dottorandi (2) organizzazione di seminari e corsi per il dottorato.
3.	MIT, MASSACHUSSETS INSTITUTE OF TECHNOLOGY, DEPARTMENT OF BRAIN AND COGNITIVE SCIENCES	Stati Uniti d'America	(max 500 caratteri) La collaborazione e’ in atto da svariati anni su tematiche relative alla visione computazionale e all’apprendimento statistico e coinvolge il gruppo del Prof. Tomaso Poggio. Si prevedono periodi di ricerca di docenti, scambio di dottorandi, organizzazione di seminari e corsi per il dottorato.
4.	STANFORD UNIVERSITY	Stati Uniti d'America	(max 500 caratteri) E' attiva da alcuni anni una collaborazione con il Center for Computer Research in Music and Acoustic (CCRMA), Prof Ge Wang, per ricerca multi-disciplinare ch coinvolge informatica, ingegneria, fisica, psicologia e musica (con particolare attenzione a performance, analisi e composizione).Si prevedono periodi di ricerca di docenti, scambio di dottorandi, organizzazione di seminari e corsi per il dottorato.si prevedono collaborazioni, periodi di ricerca, scambio di ricercatori e dottorandi.
5.	TECHNICAL UNIVERSITY OF DELFT, THE NETHERLANDS	Paesi Bassi	(max 500 caratteri) La collaborazione è attiva da diversi anni nell'ambito dell'Ingegneria dei Sistemi e prevede collaborazioni e progetti congiunti.

Descrizione della situazione occupazionale dei dottori di ricerca che hanno acquisito il titolo negli ultimi tre anni

(max 1.500 caratteri)
l training e le competenze (che partendo da una gamma molto ampia di argomenti permette la specializzazione in determinati ambiti) fornite dal nostro corso garantiscono possibilità occupazioni di alto livello come testimoniato sia le statistiche di Alma Laurea relativa ai macro-settori disciplinari coinvolti nel corso sia le statistiche raccolte internamente relativamente agli sbocchi occupazionali dei nostri dottorandi.
Il collegamento con istituti di ricerca nazionali, tra i quali il CNR-Imati e FBK, e i numerosi contatti con aziende italiane e straniere hanno permesso infatti nel corso degli anni di garantire ai nostri dottorandi un tasso occupazionale vicino al 100% con occupazioni di alta se non eccezionale qualità.
In particolare attualmente risultano assunti come ricercatori a tempo indeterminato in Università o istituti di ricerca italiani e stranieri più di 20 dottorandi che hanno acquisito il titolo nel nostro dottorato.
Con riferimento all’indagine occupazionale 2019 AlmaLaurea (studenti che hanno conseguitolo il titolo nel 2018), il tasso di occupazione (ingegneria e scienze di base) è intorno al 90%, superiore a quello di tutte le altre discipline. La totalità del collettivo dichiara di svolgere di attività di ricerca nel proprio lavoro e ritiene che le competenze acquisite con il dottorato siano utili in maniera elevata nell’attuale occupazione.

Note

(MAX 1.000 caratteri):
Esistono svariate altre collaborazioni con istituti di ricerca ed Universita' italiane e straniere, come CNR, FBK, MIT Boston, RWTH Aachen, Universite’ Paris-Sud XI (France), INRIA (Sophia Antipolis), University College (Londra), Lawrence Livermore Res. Labs., Stanford University, UCD Dublin, NYU, Universityo of Technology of Compiegne, Bradford University, Univ, Compiegne, e molte altre

3. Eventuali curricula

Curriculum dottorali afferenti al Corso di dottorato

Denominazione Curriculum 1: Informatica/Computer Science

Settore scientifico-disciplinare	Settore concorsuale	Aree CUN-VQR interessate	Peso % di ciascun SSD nel progetto scientifico del corso
INF/01	01/B - INFORMATICA	01 - Scienze matematiche e informatiche	% 85,00
ING-INF/05	09/H - INGEGNERIA INFORMATICA	09 - Ingegneria industriale e dell'informazione	% 15,00
Curriculum in collaborazione con:	a) Imprese b) Univ. Estere c) Enti Ricerca ITALIANO d) Enti Ricerca STRANIERI
TOTALE			100

Denominazione Curriculum 2: Ingegneria dei Sistemi/Systems Engineering

Settore scientifico-disciplinare	Settore concorsuale	Aree CUN-VQR interessate	Peso % di ciascun SSD nel progetto scientifico del corso
MAT/09	01/A - MATEMATICA	01 - Scienze matematiche e informatiche	% 15,00
ING-INF/05	09/H - INGEGNERIA INFORMATICA	09 - Ingegneria industriale e dell'informazione	% 15,00
ING-INF/04	09/G - INGEGNERIA DEI SISTEMI E BIOINGEGNERIA	09 - Ingegneria industriale e dell'informazione	% 70,00
Curriculum in collaborazione con:	a) Imprese b) Univ. Estere c) Enti Ricerca ITALIANO d) Enti Ricerca STRANIERI
TOTALE			100

Note

(MAX 2.000 caratteri):
Il corso di Dottorato deriva dalla fusione di due corsi di Dottorato attivi nell'anno accademico 2013/2014, il Dottorato in Informatica ed il Dottorato in Ingegneria dei Sistemi. Il corso di Dottorato viene svolto in stretta collaborazione con enti di ricerca italiani, Fondazione CIMA, Istituto per la Matematica Applicata e per le Tecnologie Informatiche del CNR, Fondazione Bruno Kessler e con Universita' straniere, quali Universita' del Maryland, Technion, Paris VII, MIT, Compiegne come specificato nella sezione sulle collaborazioni internazionali.

4. Struttura formativa

Attività didattica disciplinare e interdisciplinare

Insegnamenti ad hoc previsti nell'iter formativo	Tot CFU: 30	n.ro insegnamenti: 5	di cui è prevista verifica finale: 5
Insegnamenti mutuati da corsi di laurea magistrale	SI	n.ro: 10	di cui è prevista verifica finale: 5
Insegnamenti mutuati da corsi di laurea (primo livello)	NO
Cicli seminariali	SI
Soggiorni di ricerca (ITALIA - al di fuori delle istituzioni coinvolte)	SI		Periodo medio previsto (in mesi per studente): 2
Soggiorni di ricerca (ESTERO nell’ambito delle istituzioni coinvolte)	SI		Periodo medio previsto (in mesi per studente): 3
Soggiorni di ricerca (ESTERO - al di fuori delle istituzioni coinvolte)	SI		Periodo medio previsto (in mesi per studente): 3

Descrizione delle attività di formazione di cui all’art. 4, comma 1, lett. f)

Tipologia	Descrizione sintetica (max 500 caratteri per ogni descrizione)
Linguistica	Corso di perfezionamento della lingua Italiana (per studenti stranieri) ed Inglese (per tutti gli studenti) in comune con gli altri dottorati promossi dal dipartimento e/o dalla scuola di dottorato.
Informatica	L'ampia offerta formativa nel campo dell'informatica e dell'ingegneria informatica permette la definizione di piani formativi su base individuale dedicati a studenti provenienti da altre lauree e/o sedi. Tali corsi sono propedeutici allo svolgimento dell'attività di ricerca svolte dai dottorandi.
Gestione della ricerca, della conoscenza dei sistemi di ricerca e dei sistemi di finanziamento	Si prevede l'organizzazione di seminari e corsi finalizzati all'introduzione nel sistema internazionale della ricerca con enfasi su aspetti quali: analisi dello stato dell'arte, preparazione della documentazione (articoli scientifici, presentazioni, proposte di progetto), inserimento nelle comunità di ricerca internazionale (associazioni, gruppi di interesse).
Valorizzazione dei risultati della ricerca e della proprietà intellettuale	Si prevede l'organizzazione di seminari e corsi finalizzati alla modalità di diffusione e di peer review dei prodotti scientifici, impatto dei lavori ed indicatori bibliometrici, valorizzazione tramite brevetti dei risultati prodotti durante la tesi di dottorato. Si prevede anche una formazione finalizzata alla definizione di rapporti con terzi, nell'ambito di progetti finanziati o di convenzioni, inerenti allo sfruttamento dei prodotti di ricerca e alla proprietà intellettuale dei risultati.

Note

(MAX 1.000 caratteri):
All'interno dei 30 CFU, lo studente potra' scegliere fra corsi specifici per
il dottorato e corsi per la laurea magistrale nelle discipline relative alle temetiche del dottorato. I corsi specifici avranno una durata media di 20 ore e a ciascuno di essi saranno assegnati 6 CFU (con esame) o 2 CFU (solo partecipazione). Il calendario dei corsi è disponibile sul sito del dottorato http://phd.dibris.unige.it/csse/

5. Posti, borse e budget per la ricerca

Posti, borse e budget per la ricerca

	Descrizione	Ciclo 36°	Anagrafe dottorandi (35°)	Ciclo 35° (Tabella POSTI)
A - Posti banditi (messi a concorso)	1. Posti banditi con borsa	N. 10	17	11 (18) (18)
	2. Posti coperti da assegni di ricerca		0	1
	3. Posti coperti da contratti di apprendistato		0
	Sub totale posti finanziati (A1+A2+A3)	N. 10	N. 17	12 (18)
	4. Eventuali posti senza borsa		3	2 (5) (5)
B - Posti con borsa riservati a laureati in università estere			0
C - Posti riservati a borsisti di Stati esteri			0
D - Posti riservati a borsisti in specifici programmi di mobilità internazionale			0
E - Posti riservati a dipendenti di imprese impegnati in attività di elevata qualificazione (dottorato industriale) o a dipendenti di istituti e centri di ricerca pubblici impegnati in attività di elevata qualificazione (con mantenimento di stipendio)			0
F - Posti senza borsa riservati a laureati in Università estere			0
TOTALE = A + B + C + D + E + F		N. 10	N. 20	14 (23)
DI CUI CON BORSA = TOTALE – A4 - F		N. 10	N. 17	12 (18)
Importo della borsa (importo annuale al lordo degli oneri previdenziali a carico del percipiente)		Euro: 15.343,28
Budget pro-capite annuo per attività di ricerca in Italia e all’Estero (a partire dal secondo anno, in termini % rispetto al valore annuale della borsa al lordo degli oneri previdenziali a carico del percipiente)		(min 10% importo borsa): 10,00
Importo aggiuntivo alla borsa per mese di soggiorno di ricerca all’estero (in termini % rispetto al valore mensile della borsa al lordo degli oneri previdenziali a carico del percipiente)		(MAX 50% importo borsa): 50,00
BUDGET complessivamente a disposizione del corso per soggiorni di ricerca all'estero (importo lordo annuale comprensivo degli oneri previdenziali a carico del percipiente) Nota: il budget complessivamente a disposizione del corso per soggiorni all’estero è calcolato considerando la percentuale di maggiorazione della borsa, il numero di mesi all’estero, il numero di anni del corso e il numero di studenti con borsa.		Euro: 15.247,56

Attenzione: i dati di questa sezione relativi agli iscritti al ciclo precedente vengono aggiornati utilizzando le informazioni inserite nella piattaforma ANS/PL fino al giorno della chiusura della scheda anagrafe .

Fonti di copertura del budget del corso di dottorato (incluse le borse)

FONTE	Importo (facoltativo)	Descrizione Tipologia (max 200 caratteri)
Fondi Ministeriali	224.722,03	cofinanziamento al 56,39% borse MIUR/Ateneo
Progetti competitivi o fondi messi a disposizione dal proponente	107.606,88	finanziamento di 1 borsa di dottorato su progetto ERC da parte del Dipartimento DIMES confinanziamento di 0.76 borse di dottorato da parte del Dipartimento DIMES
Fondi di ateneo	173.791,95	cofinanziamento al 43,61% borse MIUR/Ateneo, budget ricerca, fondi funz. corso
Finanziamenti esterni	130.026,54	2 borsa Fondazione CIMA
Altro

Note

(MAX 1.000 caratteri):
Gli importi riportati alla sezione “Fondi di copertura” includono una quota pari al 10% della borsa, per tutti gli studenti con o senza borsa, a decorrere dal 1° anno e finalizzata a sostenere la mobilità formativa del Dottorando, interna e internazionale, e per le spese pertinenti al percorso formativo.

6. Strutture operative e scientifiche

Strutture operative e scientifiche

Tipologia		Descrizione sintetica (max 500 caratteri per ogni descrizione)
Attrezzature e/o Laboratori		Il dottorato si svolgerà nelle sedi del DIBRIS: Valletta Puggia: sede principale con open space e laboratori software a disposizione dei dottorandi, Villa Bonino per attività legati a gruppi di ricerca con spazi in tale sede, Savona per attività legate ai laboratori del Campus di Savona. I dottorandi avranno accesso a tutte le infrastrutture e le risorse hardware e software di interesse per la ricerca svolta disponibili nelle tre sedi.
Patrimonio librario	consistenza in volumi e copertura delle tematiche del corso	I dottorandi potranno trovare ampio accesso a volumi necessari per l'attività di ricerca presso i centri di servizio bibliotecario dell'Ateneo ed in particolare il C.S.B. di Matematica e Informatica e i C.S.B. di Ingegneria con accesso on-line alla biblioteca.
Patrimonio librario	abbonamenti a riviste (numero, annate possedute, copertura della tematiche del corso)	I dottorandi potranno trovare ampio accesso a riviste di informatica, ottimizzazione e ingegneria dei sistemi in particolare il C.S.B. di Matematica e Informatica e i C.S.B. di Ingegneria con accesso on-line alla biblioteca.
E-resources	Banche dati (accesso al contenuto di insiemi di riviste e/o collane editoriali)	Banche dati elettroniche (riviste e proceedings) accessibili tramite i servizi in abbonamento forniti sia dal sistema bibliotecario di Ateneo che prevede l'accesso on-line di tutte le più importanti case editrici internazionali tramite il servizio http://biblioteche.unige.it e le convenzioni con riviste ed editori stipulate con i CSB della scuola Politecnica e della scuola di Scienze.
	Software specificatamente attinenti ai settori di ricerca previsti	Il Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi mette a disposizione un ampio numero di strumenti computazionali e attrezzature specializzate presso tutte le proprie sedi.
	Spazi e risorse per i dottorandi e per il calcolo elettronico	Sono previsti presso le sedi di Valletta Puggia, Villa Bonino e Campus Savona spazi comuni dedicati ai dottorandi; ad ogni dottorando sono forniti spazi presso i laboratori di ricerca dei loro supervisiori. A tutti i dottorandi sono forniti dai propri gruppi di ricerca postazioni ed attezzature specifiche per lo svolgimento del loro programma di ricerca.
Altro

Note

7. Requisiti e modalità di ammissione

Requisiti richiesti per l'ammissione

Tutte le lauree magistrali:	SI, Tutte
se non tutte, indicare quali:
Altri requisiti per studenti stranieri:	(max 500 caratteri): Titolo equipollente a laurea magistrale o specialistica (4/5 anni)
Eventuali note	(max 500 caratteri): I prerequisiti necessari allo svolgimento del programma di dottorato sono verificati nelle prove di ammissione.

Modalità di ammissione

Modalità di ammissione	Titoli Prova orale Lingua Progetto di ricerca
Per i laureati all'estero la modalità di ammissione è diversa da quella dei candidati laureati in Italia?	NO
se SI specificare:

Attività dei dottorandi

È previsto che i dottorandi possano svolgere attività di tutorato	SI
È previsto che i dottorandi possano svolgere attività di didattica integrativa	SI	Ore previste: 60

Note

Dottorato innovativo a caratterizzazione internazionale

• Dottorato in collaborazione con Università e/o enti di ricerca esteri	SI	Motivazione: Nel nostro dottorato risultano iscritti studenti che hanno acquisito il titolo di laurea magistrale o equipollente all’estero, risultano convenzioni per doppio titolo con istituti di ricerca internazionali. Il collegio include membri del collegio afferenti a diverse aree CUN ed esperti di istituti di ricerca stranieri.
• Dottorato relativo alla partecipazione a bandi internazionali (e.g. Marie Skłodowska Curie Actions, ERC)	NO
• Collegio di dottorato composto per almeno il 25% da docenti appartenenti a qualificate università o centri di ricerca stranieri	NO
• Presenza di eventuali curricula in collaborazione con Università/Enti di ricerca estere e durata media del periodo all'estero dei dottori di ricerca pari almeno a 12 mesi	NO	Motivazione: Risultano convenzioni per doppio titolo con istituti di ricerca internazionali ma non curricula in collaborazione con enti esteri.
• Presenza di almeno 1/3 di iscritti al Corso di Dottorato con titolo d'accesso acquisito all'estero ***	NO

Dottorato innovativo a caratterizzazione intersettoriale

• Dottorato in convenzione con Enti di Ricerca	NO
• Dottorato in convenzione con le imprese o con enti che svolgono attività di ricerca e sviluppo	SI	Motivazione: Sono attive borse finanziate da imprese del territorio e enti come il CNR che svolgono attività di ricerca e sviluppo.
• Dottorato selezionato su bandi internazionali con riferimento alla collaborazione con le imprese	NO
• Dottorati inerenti alle tematiche dell’iniziativa “Industria 4.0”	SI	Motivazione: Le aree di ricerca sono in oltre pienamente attinenti alle tematiche BigData e Industria 4.0. L’operazione proposta recentemente per le borse della regione è inoltre pienamente consistente con questo profilo. In particolare i temi dei tre progetti proposti (Internet of Things/Big Data, Artificial Intelligence/Health, Sustainable Energy, Industry 4.0) sono tutti collegati a tematiche di call per finanziamenti sia nazionali che internazionali e ad attività di laboratori CINI operanti a livello nazionale.
• Presenza di convenzione con altri soggetti istituzionali su specifici temi di ricerca o trasferimento tecnologico e che prevedono una doppia supervisione	NO

Dottorato innovativo a caratterizzazione interdisciplinare

• Dottorati (con esclusione di quelli suddivisi in curricula) con iscritti provenienti da almeno 2 aree CUN, rappresentata ciascuna per almeno il 30% (rif. Titolo LM o LMCU )	NO
• Corsi appartenenti a Scuole di Dottorato che prevedono contestualmente ambiti tematici relativi a problemi complessi caratterizzati da forte multidisciplinarità	SI	Motivazione: Il corso affronta tematiche interdisciplinari ad esempio in ambito biomedicale, smart city, big data e sviluppo sostenibile.
• Dottorati inerenti alle tematiche dei Big Data, relativamente alle sue metodologie o applicazioni	SI	Motivazione: I temi di ricerca di borse già attivate riguardano Internet of Things/Big Data, Artificial Intelligence/Health, Sustainable Energy, Industry 4.0 e sono collegati a tematiche di call per finanziamenti sia nazionali che internazionali e ad attività di laboratori CINI operanti a livello nazionale.
• Dottorati che rispondono congiuntamente ai seguenti criteri
presenza nel Collegio di Dottorato di docenti afferenti ad almeno due aree CUN, rappresentata ciascuna per almeno il 20% nel Collegio stesso	SI
presenza di un tema centrale che aggreghi coerentemente discipline e metodologie diverse, anche con riferimento alle aree ERC	SI	Motivazione: Computer Science and Engineering e Systems Engineering sono I due temi che caratterizzano le attività di ricerca dei membri del collegio.

Chiusura proposta e trasmissione: 13/05/2020

MINISTERO DELL'UNIVERSITÀ E DELLA RICERCA