Dottorato in Computer Science and Engineering

• 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

Nominata con Decreto Rettorale n. 709/2023 Prot n. 149534 del 02/06/2023

Confermata per Bando per ulteriori posizioni
Decreto Rettorale n. 1066/2023 Prot n. 0226313 del 04/08/2023

 * Sono membri esperti per l'assegnazione di posizioni a tema vincolato:

• Filippo Focacci - DecisionBrain S.a.s.

• Gildo Bosi - Sacmi Imola

• Elisa Romano - Automobili Lamborghini SpA

• Giuseppe Savino - Zanichelli editore SpA

• Philipp Schneider - AIT-Austrian Institute of Technology GmbH

• Brais Vazquez Iglesia - Pollution Srl

• Pasquale Zaccaglino - L&G Solution Srl 

• Alessio Bonfietti - XTEL Srl

• Carlo Rossi - Arca Tecnologie Srl

• Stefano Borghi - Dilaxia SpA

• Salvatore Alia - Coop Alleanza 3.0

• Filippo Bosi - Imola Informatica Spa

• Andrea Anesi - SCM Group SpA

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

All'inizio del corso ogni dottorando viene affiancato da un supervisore e da un co-supervisore che lo accompagnano per tutta la durata del ciclo; almeno uno tra supervisore o co-supervisore deve essere membro del Collegio dei Docenti. 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 (con invito ad una permanenza di 6 mesi), spalmato su 2 anni di corso (tra il primo e secondo anno, oppure tra il secondo e il terzo anno).

Il corso prevede, o ha previsto,  il rilascio di titoli congiunti  in base a convenzioni individuali 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 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)

Esiste inoltre un accordo con la National Chiao Tung University - NCTU (Taiwan)  volto sostanzialmente alla sottoscrizione di convenzioni di cotutela a favore di dottorandi iscritti presso UNIBO e presso  NCTU.

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