Laurea Specialistica in
Informatica
Francesca Rossi
Presidente CCS Informatica
[email protected]
Pre-iscrizione
Dal 26 Luglio al 27 Agosto
Modulo su web: www.unipd.it/unienter
Per problemi: segreteria Facolta’ di Scienze, Via
Venezia 13
Iscrizione
Devono essere riconosciuti almeno 140 CFU della laurea
triennale
Numero chiuso a 35+3
Graduatoria basata su:
180 per chi ha LT Informatica a Padova
Voto laurea triennale
Tempo laurea triennale
Debiti in CFU rispetto a 180
Nessun test di ammissione
Iscrizione ad inizio Ottobre per chi si laurea prima
Iscrizione a Gennaio per chi si laurea a Dicembre
Struttura generale
Due anni, 3 trimestri ogni anno, 120 CFU totali
Minimo 55 CFU in Informatica
Minimo 8 CFU in Matematica
Minimo 22 CFU in {Inf., Mat., Ing. Inf., Bioinf.}
Minimo 5 CFU a scelta
Minimo 30 CFU per tesi
Nessuna restrizione per passare all’anno successivo
4 appelli per ogni corso (due dopo il corso, due a
Luglio/Settembre)
Confronto con minimi di legge
(su 300 CFU / 5 anni)
Di base 30 (mat + inf): LT 47
Inf 83: LT 83, LS 55 totale 138
Affini (mat) 30: LT 22, LS 8 totale 30
Altro (anche inf) 0: LS 22
A scelta 15: LT 10, LS 5 totale 15
Prova finale/inglese 40: LT 18, LS 30 totale 48
(inglese=3)
Poca matematica (30), molta informatica (> 138), 15
senza vincoli, molto lavoro stage/tesi (48)
In particolare ...
Minimo 55 CFU in Informatica: 34 CFU con corsi
obbligatori, almeno altri 21 CFU con corsi opzionali
Minimo 8 CFU in Matematica: 6 CFU con corso
obbligatorio, almeno altri 2 CFU con corsi opzionali
Minimo 22 CFU in {Inf., Mat., Ing. Inf., Bioinf.}: con
corsi opzionali
5 CFU a scelta
30 CFU per tesi (seconda meta’ del secondo anno)
Corsi obbligatori
Sistemi concorrenti e distribuiti (7CFU)
Semantica dei linguaggi di programmazione
(7CFU)
Complessita’ e algoritmi 3 (7CFU)
Sistemi intelligenti (7CFU)
Sistemi con vincoli (6CFU)
Fondamenti logici dei linguaggi funzionali (6
CFU)
I
N
F
O
R
M
A
T
I
C
A
M
A
T
Corsi opzionali forniti
nell’AA 2004-2005
Bioinformatica (6 CFU)
Sistemi per la gestione del territorio
(3 CFU)
Sistemi informativi (6 CFU)
Data mining (7 CFU)
Complementi di calcolo numerico
(2 CFU)
Metodi numerici per l’analisi dei
dati (4 CFU)
Crittografia (6 CFU)
Elaborazione delle immagini (6
CFU)
Informatica grafica e
multimedialita’ (6 CFU)
Gestione di imprese informatiche
(5 CFU)
Struttura e configurazione di
sistemi liberi (5 CFU)
Certificazione software (5 CFU)
Altri corsi ad Ingegneria Informatica
Bioinformatica e biologia computazionale
Elaborazione di dati tridimensionali
Gestione delle reti di calcolatori
Calcolo parallelo
Numero massimo (10), domanda entro fine estate
Piani di studio
Automaticamente approvati se rispettano le
regole
Anche piani di studio liberi discussione e
approvazione dal CCS
Entro fine di ogni anno
Primo anno
I trimestre
Crittografia (6 CFU, opz.)
Fondamenti logici dei linguaggi funzionali (6
CFU, obbl.)
Sistemi concorrenti e distribuiti (7 CFU, obbl.)
Totale: 19 CFU
Primo anno
II trimestre
Complessita’ e algoritmi 3 (7 CFU, obbl.)
Elaborazione delle immagini (6 CFU, opz.)
Semantica dei linguaggi di programmazione (7
CFU, obbl.)
Totale: 20 CFU
Primo anno
III trimestre
Data mining (7 CFU, opz.)
Sistemi intelligenti (7 CFU, obbl.)
Sistemi con vincoli (6 CFU, obbl.)
Totale: 20 CFU
Secondo anno
I trimestre
Struttura e configurazione di sistemi liberi (5 CFU,
opz.)
Certificazione software (5 CFU, opz.)
Informatica grafica e multimedialita’ (6 CFU, opz.)
Totale: 16 CFU
Secondo anno
II trimestre
Sistemi per la gestione del territorio (3 CFU, opz.)
Gestione di imprese informatiche (5 CFU, opz.)
Totale: 8 CFU molto tempo (12 CFU) per
CFU liberi e tesi
Secondo anno
III trimestre
Metodi numerici per l’analisi dei dati (4 CFU, opz.)
Complementi di calcolo numerico (2 CFU, opz.)
Bioinformatica (6 CFU, opz.)
Totale: 12 CFU tempo (8 CFU) per CFU
liberi e tesi
La tesi
Occasione per dare un contributo personale
all’Informatica
Di progetto, compilativa, sperimentale, di ricerca
30 CFU tra studio e redazione circa 6 mesi in
totale
Aree di ricerca
Linguaggi di programmazione (Ranzato, File’,
Colussi): semantica, analisi, verifica
Teoria della sicurezza (File’, Colussi)
Intelligenza artificiale: apprendimento
automatico (Sperduti), preferenze e incertezza
(Rossi)
Sistemi real-time, linguaggio Ada, ingegneria del
software (Vardanega)
Logica (Valentini, Faggian)
E dopo?
Lavori piu’ qualificanti nell’industria:
Non solo programmatore
Gestione interi progetti
Dottorato di ricerca in Informatica
Altre informazioni
Segreteria didattica
Presidente CCS: [email protected]
Sito Dipartimento di Matematica Pura ed Applicata
(www.math.unipd.it): SIS, orari, appelli, docenti, ...
Sito CCS Informatica
(www.math.unipd.it/~frossi/ccs.html): delibere riunioni
CCS (una al mese)
Sito laurea specialistica (e triennale) in Informatica: in
costruzione (www.math.unipd.it/laurea-informatica/)
