Dottorato in Computer Science and Engineering

Anno accademico 2020-2021
Area tematica Scienze Ingegneristiche
Ciclo 36
Coordinatore Prof. Davide Sangiorgi
Lingua Inglese
Durata 3 anni
Posti 17 posti. Maggiori informazioni nella Scheda del dottorato.
Scadenza bando 21/05/2020 ore 13:00 (Scaduto)
Periodo di immatricolazione Dal 21/07/2020 al 30/07/2020
Data inizio corso 01/11/2020
Struttura proponente
Dipartimento di Informatica - Scienza e Ingegneria - DISI
Periodo all'estero
3 mesi
Temi di ricerca
  • Sistemi distribuiti e algoritmi distribuiti
  • Linguaggi e sistemi di programmazione
  • Reti di calcolatori e applicazioni
  • Metodologie ed ingegneria del software
  • Metodi formali e semantica dei linguaggi di programmazione
  • Intelligenza artificiale
  • Sistemi real-time e tolleranti i guasti
  • Algoritmi paralleli e algoritmi probabilistici
  • Elaborazione delle immagini
  • Bioinformatica e sistemi biometrici
  • Sistemi informativi e basi di dati
  • Teoria della concorrenza
  • Sicurezza
  • Fondamenti logici dell'informatica
  • Sistemi multimediali
Sbocchi professionali e potenziali settori di impiego del dottorato di ricerca
Il Corso è finalizzato alla formazione di persone in grado di svolgere attività di ricerca in modo autonomo, sia in ambito universitario che industriale, e attività manageriali. I principali sbocchi occupazionali previsti sono: la carriera universitaria, l'attività di ricerca presso industrie o enti, e il management in industrie del settore ICT.
Commissione esaminatrice

Cognome Nome Ateneo/Ente Ruolo email
Asperti Andrea Università di Bologna Membro effettivo asperti@cs.unibo.it
Bartolini Ilaria Università di Bologna Membro effettivo ilaria.bartolini@unibo.it
Di Lena Pietro Università di Bologna Membro effettivo pietro.dilena@unibo.it
Lombardi Michele Università di Bologna Membro effettivo michele.lombardi2@unibo.it
Barsocchi Paolo CNR IRSTI Membro esperto paolo.barsocchi@isti.cnr.it
Benedetti Michele Datalogic IP Tech Srl Membro esperto michele.benedetti@datalogic.com
Bravetti Mario Università di Bologna Membro supplente mario.bravetti@unibo.it
Lanese Ivan Università di Bologna Membro supplente ivan.lanese@unibo.it
Rizzi Stefano Università di Bologna Membro supplente stefano.rizzi@unibo.it
Sangiorgi Davide Università di Bologna Membro supplente davide.sangiorgi@unibo.it
Obiettivi formativi del dottorato
Il Corso è finalizzato alla formazione di persone in grado di svolgere attività di ricerca in modo autonomo, sia in ambito universitario che industriale, e attività manageriali. In questo senso ci si aspetta che ogni dottorando nel corso di dottorato produca risultati originali, rilevanti e significativi, sia in forma di pubblicazioni scientifiche che di produzione di software o di applicazioni innovative, in una o più' delle seguenti aree:
- Sistemi distribuiti e algoritmi distribuiti
- Linguaggi e sistemi di programmazione
- Reti di calcolatori e applicazioni
- Metodologie ed ingegneria del software
- Metodi formali e semantica dei linguaggi di programmazione
- Intelligenza artificiale
- Sistemi real-time e tolleranti i guasti
- Algoritmi paralleli e algoritmi probabilistici
- Elaborazione delle immagini
- Bioinformatica e sistemi biometrici
- Sistemi informativi e basi di dati
- Teoria della concorrenza
- Sicurezza
- Fondamenti logici dell'informatica
- Sistemi multimediali.
Tipologia dell'attività svolta dai dottorandi
All'inizio del Corso ogni dottorando viene affiancato da un supervisore (e da un co-supervisore se il supervisore non è membro del Collegio dei Docenti), che lo accompagna per tutta la durata del ciclo. Nei primi 24 mesi si prevede l'integrazione e l'approfondimento del bagaglio culturale secondo un piano didattico personalizzato (predisposto di comune accordo dal dottorando col tutore, e quindi sottoposto all'approvazione del Collegio), che prevede il raggiungimento di 30 CFU mediante la frequenza di corsi e il superamento dei relativi esami di profitto. Entro il 15esimo mese il dottorando deve presentare una proposta scritta di tesi, sottoposta all'approvazione vincolante del Collegio. Alla fine dei primi 24 mesi, il dottorando deve aver completato il piano didattico personalizzato e deve relazionare sullo stato d'avanzamento della tesi. Il passaggio all'anno successivo, deliberato dal Collegio, avviene in base ad una presentazione pubblica da parte del candidato. Il terzo anno è interamente dedicato al lavoro di tesi. Il Collegio delibera infine sull'ammissione all'esame finale, sulla base dei commenti dei revisori e della eventuale revisione della tesi. Il Collegio può autorizzare un dottorando a trascorrere periodi di soggiorno in Italia presso Università, centri di ricerca o aziende. È obbligatorio per il dottorando trascorrere un periodo di almeno 3 mesi all'Estero, durante il secondo o il terzo anno di corso.
Attività di formazione alla ricerca previste per i dottorandi in coerenza con gli obiettivi formativi del dottorato
All'inizio del Corso, ogni dottorando viene affiancato da un supervisore (e da un co-supervisore se il supervisore non è membro del Collegio dei Docenti), che lo accompagna per tutta la durata del ciclo. Nei primi 24 mesi, si prevede l'integrazione e l'approfondimento del bagaglio culturale secondo un piano didattico personalizzato (predisposto di comune accordo dal dottorando col tutore, e quindi sottoposto all'approvazione del Collegio), che prevede il raggiungimento di 30 CFU mediante la frequenza di corsi e il superamento dei relativi esami di profitto. Entro il 15esimo mese il dottorando deve presentare una proposta scritta di tesi, sottoposta all'approvazione vincolante del collegio. Alla fine dei primi 24 mesi, il dottorando deve aver completato il piano didattico personalizzato e deve relazionare sullo stato d'avanzamento della tesi che sarà poi discussa allo scadere dei tre anni di corso.
Elementi di internazionalizzazione del dottorato
Il corso prevede il rilascio di titolo congiunto in base a convenzioni di cotutela con: - Ecole Normale Supérieure de Lyon, Francia, convenzione perfezionata
- Ecole Normale Supérieure de Paris, Francia, convenzione perfezionata
- Université Paris 7 – Diderot, convenzione perfezionata
- Université Joseph Fourier (Grenoble), convenzione perfezionata
- Université Paris XIII, Francia, convenzione perfezionata
- Université de Lyon, convenzione perfezionata
- Pontificia Universidad Católica de Valparaiso, Chile, convenzione perfezionata
- University College Cork, Irlanda, convenzione perfezionata.
Le cotutele riguardano sia studenti in entrata (cioè studenti di altre università straniere – francesi – che chiedono di fare la tesi in cotutela con docenti del collegio dei docenti) che in uscita (nostri studenti che fanno la tesi in cotutela con colleghi stranieri).
Prodotti e risultati attesi dalle attività di ricerca dei dottorandi
Ci si aspettano risultati originali, rilevanti e significativi, sia in forma di pubblicazioni scientifiche che di produzione di software o di applicazioni innovative, nelle seguenti aree:
- Sistemi distribuiti e algoritmi distribuiti
- Linguaggi e sistemi di programmazione
- Reti di calcolatori e applicazioni
- Metodologie ed ingegneria del software
- Metodi formali e semantica dei linguaggi di programmazione
- Intelligenza artificiale
- Sistemi real-time e tolleranti i guasti
- Algoritmi paralleli e algoritmi probabilistici
- Elaborazione delle immagini
- Bioinformatica e sistemi biometrici
- Sistemi informativi e basi di dati
- Teoria della concorrenza
- Sicurezza
- Fondamenti logici dell'informatica
- Sistemi multimediali.
Collegio dei docenti
Cognome Nome Ateneo/Ente Qualifica
Bartolini Ilaria Università di Bologna Professore Associato
Bellavista Paolo Università di Bologna Professore Ordinario
Bononi Luciano Università di Bologna Professore Associato Confermato
Bravetti Mario Università di Bologna Professore Associato
Callegati Franco Università di Bologna Professore Associato Confermato
Ciancarini Paolo Università di Bologna Professore Ordinario
Corradi Antonio Università di Bologna Professore Ordinario
Dal Lago Ugo Università di Bologna Professore Ordinario
D'Angelo Gabriele Università di Bologna Ricercatore Confermato
Di Lena Pietro Università di Bologna Ricercatore Confermato
Di Stefano Luigi Università di Bologna Professore Ordinario
Gabbrielli Maurizio Università di Bologna Professore Ordinario
Golfarelli Matteo Università di Bologna Professore Associato Confermato
Lanese Ivan Università di Bologna Professore Associato
Laneve Cosimo Università di Bologna Professore Ordinario
Lisanti Giuseppe Università di Bologna Ricercatore A Tempo Determinato - Art.24 Co.3 Lett. B) - L.240/2010
Lombardi Michele Università di Bologna Ricercatore A Tempo Determinato - Art.24 Co.3 Lett. B) - L.240/2010
Maio Dario Università di Bologna Professore Ordinario
Maltoni Davide Università di Bologna Professore Ordinario
Marzolla Moreno Università di Bologna Professore Associato
Milano Michela Università di Bologna Professore Ordinario
Montesi Danilo Università di Bologna Professore Ordinario
Omicini Andrea Università di Bologna Professore Ordinario
Presutti Valentina Università di Bologna Ricercatore A Tempo Determinato - Art.24 Co.3 Lett. B) - L.240/2010
Rizzi Stefano Università di Bologna Professore Ordinario
Sangiorgi Davide Università di Bologna Professore Ordinario
Torroni Paolo Università di Bologna Professore Associato
Viroli Mirko Università di Bologna Professore Ordinario
Zavattaro Gianluigi Università di Bologna Professore Ordinario