Corsi di Laurea Corsi di Laurea Magistrale Corsi di Laurea Magistrale
a Ciclo Unico
Scuola di Scienze
INFORMATICA
Insegnamento
ADVANCED TOPICS IN COMPUTER SCIENCE
SCP6076301, A.A. 2019/20

Informazioni valide per gli studenti immatricolati nell'A.A. 2019/20

Principali informazioni sull'insegnamento
Corso di studio Corso di laurea magistrale in
INFORMATICA
SC1176, ordinamento 2014/15, A.A. 2019/20
N0
porta questa
pagina con te
Crediti formativi 6.0
Tipo di valutazione Voto
Denominazione inglese ADVANCED TOPICS IN COMPUTER SCIENCE
Sito della struttura didattica http://informatica.scienze.unipd.it/2019/laurea_magistrale
Dipartimento di riferimento Dipartimento di Matematica
Obbligo di frequenza No
Lingua di erogazione INGLESE
Sede PADOVA
Corso singolo È possibile iscriversi all'insegnamento come corso singolo
Corso a libera scelta È possibile utilizzare l'insegnamento come corso a libera scelta

Docenti
Nessun docente assegnato all'insegnamento

Dettaglio crediti formativi
Tipologia Ambito Disciplinare Settore Scientifico-Disciplinare Crediti
CARATTERIZZANTE Discipline Informatiche INF/01 6.0

Organizzazione dell'insegnamento
Periodo di erogazione Annuale
Anno di corso I Anno
Modalità di erogazione frontale

Tipo ore Crediti Ore di
didattica
assistita
Ore Studio
Individuale
LEZIONE 6.0 40 110.0

Calendario
Inizio attività didattiche 30/09/2019
Fine attività didattiche 20/06/2020
Visualizza il calendario delle lezioni Lezioni 2019/20 Ord.2014

Commissioni d'esame
Commissione Dal Al Membri
3 a.a. 2018/2019 01/10/2018 28/02/2020 CONTI MAURO (Presidente)
BALDAN PAOLO (Supplente)
BRESOLIN DAVIDE (Supplente)
VARDANEGA TULLIO (Supplente)

Syllabus
Prerequisiti: Nessun prerequisito.
Conoscenze e abilita' da acquisire: Capacità di affrontare in modo critico temi avanzati, al confine con la ricerca in ambito informatico. Capacità di consultare letteratura scientifica.
Modalita' di esame: Lo studente dovrà approfondire un tema prescelto e mostrarne quindi la padronanza, discutendolo in forma seminariale o sviluppando un progetto correlato.
Criteri di valutazione: 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.
Contenuti: 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"
Josep Carmona, Polytechnical University of Catalunya
https://www.cs.upc.edu/jcarmona/
Attivita' di apprendimento previste e metodologie di insegnamento: Lezioni frontali
Eventuali indicazioni sui materiali di studio: Articoli scientifici e note fornite dal docente.
Testi di riferimento: