Presentazione

Organizzazione della Didattica

DM270
INFORMATICA ORD. 2014

Advanced topics in computer science

6

Corsi comuni

 

Frontali Esercizi Laboratorio Studio Individuale
ORE: 40 0 0 102

Periodo

AnnoPeriodo
I annoannuale

Frequenza

Facoltativa

Erogazione

Convenzionale

Lingua

Inglese

Calendario Attività Didattiche

InizioFine
30/09/201912/06/2020

Tipologia

TipologiaAmbitoSSDCFU
caratterizzante Nessun ambitoINF/016


Responsabile Insegnamento

ResponsabileSSDStruttura
DA ASSEGNAREN.D.

Altri Docenti

Non previsti

Attività di Supporto alla Didattica

Non previste

Bollettino

Nessun prerequisito.

Capacità di affrontare in modo critico temi avanzati, al confine con la ricerca in ambito informatico. Capacità di consultare letteratura scientifica.

Lezioni frontali

Il corso si compone di cicli di lezioni monografici, che illustrano temi avanzati dell'informatica con il supporto di esperti internazionali. Più precisamente i temi saranno i seguentI: - "Modern Automated Formal Verification" Prof. Alessandro Abate, University of Oxford http://www.cs.ox.ac.uk/people/alessandro.abate/home.html - "Analysis of Memory Models" Prof. Roland Meyer, University of Braunschweig https://www.tcs.cs.tu-bs.de/group/meyer/home.html - "Business Process Management & Analytics" Hajo Reijers, Utrecht University https://www.win.tue.nl/~hreijers

Lo studente dovrà approfondire un tema prescelto e mostrarne quindi la padronanza, discutendolo in forma seminariale o sviluppando un progetto correlato.

L'esame valuta la capacità dello studente di confrontarsi con tematiche avanzate in informatica, da approfondire mediante la consultazione di articoli scientifici e letteratura specializzata.

CONTENUTO NON PRESENTE

Articoli scientifici e note fornite dal docente.