Laurea Laurea Specialistica in Specialistica in

InformaticaInformaticaFrancesca RossiFrancesca Rossi

Presidente CCS InformaticaPresidente CCS Informatica

frossi@math.unipd.itfrossi@math.unipd.it

Pre-iscrizionePre-iscrizione

Dal 26 Luglio al 27 AgostoDal 26 Luglio al 27 Agosto Modulo su web: Modulo su web:

www.unipd.it/unienterwww.unipd.it/unienter Per problemi: segreteria Facolta’ di Per problemi: segreteria Facolta’ di

Scienze, Via Venezia 13Scienze, Via Venezia 13

IscrizioneIscrizione

Devono essere riconosciuti almeno 140 CFU della Devono essere riconosciuti almeno 140 CFU della laurea triennale laurea triennale 180 per chi ha LT Informatica a Padova180 per chi ha LT Informatica a Padova

Numero chiuso a 35+3Numero chiuso a 35+3 Graduatoria basata su:Graduatoria basata su:

Voto laurea triennaleVoto laurea triennale Tempo laurea triennaleTempo laurea triennale Debiti in CFU rispetto a 180Debiti in CFU rispetto a 180

Nessun test di ammissioneNessun test di ammissione Iscrizione ad inizio Ottobre per chi si laurea primaIscrizione ad inizio Ottobre per chi si laurea prima Iscrizione a Gennaio per chi si laurea a DicembreIscrizione a Gennaio per chi si laurea a Dicembre

Struttura generaleStruttura generale

Due anni, 3 trimestri ogni anno, 120 CFU Due anni, 3 trimestri ogni anno, 120 CFU totalitotali Minimo 55 CFU in InformaticaMinimo 55 CFU in Informatica Minimo 8 CFU in MatematicaMinimo 8 CFU in Matematica Minimo 22 CFU in {Inf., Mat., Ing. Inf., Bioinf.} Minimo 22 CFU in {Inf., Mat., Ing. Inf., Bioinf.} Minimo 5 CFU a sceltaMinimo 5 CFU a scelta Minimo 30 CFU per tesi Minimo 30 CFU per tesi

Nessuna restrizione per passare all’anno Nessuna restrizione per passare all’anno successivosuccessivo

4 appelli per ogni corso (due dopo il corso, 4 appelli per ogni corso (due dopo il corso, due a Luglio/Settembre)due a Luglio/Settembre)

Confronto con minimi di Confronto con minimi di leggelegge

(su 300 CFU / 5 anni)(su 300 CFU / 5 anni) Di base Di base 30 (mat + inf): LT 47 30 (mat + inf): LT 47 Inf Inf 83: LT 83, LS 55 83: LT 83, LS 55 totale 138 totale 138 Affini (mat) Affini (mat) 30: LT 22, LS 8 30: LT 22, LS 8 totale 30 totale 30 Altro (anche inf) Altro (anche inf) 0: LS 22 0: LS 22 A scelta A scelta 15: LT 10, LS 5 15: LT 10, LS 5 totale 15 totale 15 Prova finale/inglese Prova finale/inglese 40: LT 18, LS 30 40: LT 18, LS 30

totale 48totale 48(inglese=3)(inglese=3)

Poca matematica (30), molta informatica (> Poca matematica (30), molta informatica (> 138), 15 senza vincoli, molto lavoro stage/tesi 138), 15 senza vincoli, molto lavoro stage/tesi (48)(48)

In particolare ...In particolare ...

Minimo 55 CFU in Informatica: 34 CFU con Minimo 55 CFU in Informatica: 34 CFU con corsi obbligatori, almeno altri 21 CFU con corsi obbligatori, almeno altri 21 CFU con corsi opzionalicorsi opzionali

Minimo 8 CFU in Matematica: 6 CFU con Minimo 8 CFU in Matematica: 6 CFU con corso obbligatorio, almeno altri 2 CFU con corso obbligatorio, almeno altri 2 CFU con corsi opzionalicorsi opzionali

Minimo 22 CFU in {Inf., Mat., Ing. Inf., Minimo 22 CFU in {Inf., Mat., Ing. Inf., Bioinf.}: con corsi opzionaliBioinf.}: con corsi opzionali

5 CFU a scelta5 CFU a scelta 30 CFU per tesi (seconda meta’ del secondo 30 CFU per tesi (seconda meta’ del secondo

anno)anno)

Corsi obbligatoriCorsi obbligatori

Sistemi concorrenti e distribuiti (7CFU)Sistemi concorrenti e distribuiti (7CFU) Semantica dei linguaggi di Semantica dei linguaggi di

programmazione (7CFU)programmazione (7CFU) Complessita’ e algoritmi 3 (7CFU)Complessita’ e algoritmi 3 (7CFU) Sistemi intelligenti (7CFU)Sistemi intelligenti (7CFU) Sistemi con vincoli (6CFU)Sistemi con vincoli (6CFU) Fondamenti logici dei linguaggi Fondamenti logici dei linguaggi

funzionali (6 CFU)funzionali (6 CFU)

INFORMATICA

MAT

Corsi opzionali forniti Corsi opzionali forniti nell’AA 2004-2005nell’AA 2004-2005

Bioinformatica (6 CFU)Bioinformatica (6 CFU)

Sistemi per la gestione del Sistemi per la gestione del territorio (3 CFU)territorio (3 CFU)

Sistemi informativi (6 CFU)Sistemi informativi (6 CFU) Data mining (7 CFU)Data mining (7 CFU)

Complementi di calcolo Complementi di calcolo numerico (2 CFU)numerico (2 CFU)

Metodi numerici per Metodi numerici per l’analisi dei dati (4 CFU)l’analisi dei dati (4 CFU)

Crittografia (6 CFU)Crittografia (6 CFU)

Elaborazione delle Elaborazione delle immagini (6 CFU)immagini (6 CFU)

Informatica grafica e Informatica grafica e multimedialita’ (6 CFU)multimedialita’ (6 CFU)

Gestione di imprese Gestione di imprese informatiche (5 CFU)informatiche (5 CFU)

Struttura e configurazione Struttura e configurazione di sistemi liberi (5 CFU)di sistemi liberi (5 CFU)

Certificazione software (5 Certificazione software (5 CFU)CFU)

Altri corsi ad Ingegneria Altri corsi ad Ingegneria InformaticaInformatica

Bioinformatica e biologia Bioinformatica e biologia computazionale computazionale

Elaborazione di dati tridimensionaliElaborazione di dati tridimensionali Gestione delle reti di calcolatoriGestione delle reti di calcolatori Calcolo paralleloCalcolo parallelo

Numero massimo (10), domanda entro Numero massimo (10), domanda entro fine estate fine estate

Piani di studioPiani di studio

Automaticamente approvati se Automaticamente approvati se rispettano le regolerispettano le regole

Anche piani di studio liberi Anche piani di studio liberi discussione e approvazione dal CCSdiscussione e approvazione dal CCS

Entro fine di ogni annoEntro fine di ogni anno

Primo annoPrimo anno

I trimestreI trimestre Crittografia (6 CFU, opz.)Crittografia (6 CFU, opz.) Fondamenti logici dei linguaggi Fondamenti logici dei linguaggi

funzionalifunzionali (6 CFU, obbl.) (6 CFU, obbl.) Sistemi concorrenti e distribuitiSistemi concorrenti e distribuiti (7 (7

CFU, obbl.)CFU, obbl.) Totale: 19 CFUTotale: 19 CFU

Primo annoPrimo anno

II trimestreII trimestre Complessita’ e algoritmi 3Complessita’ e algoritmi 3 (7 CFU, (7 CFU,

obbl.)obbl.) Elaborazione delle immagini (6 CFU, Elaborazione delle immagini (6 CFU,

opz.)opz.) Semantica dei linguaggi di Semantica dei linguaggi di

programmazioneprogrammazione (7 CFU, obbl.) (7 CFU, obbl.) Totale: 20 CFUTotale: 20 CFU

Primo annoPrimo anno

III trimestreIII trimestre Data mining (7 CFU, opz.)Data mining (7 CFU, opz.) Sistemi intelligentiSistemi intelligenti (7 CFU, obbl.) (7 CFU, obbl.) Sistemi con vincoliSistemi con vincoli (6 CFU, obbl.) (6 CFU, obbl.)

Totale: 20 CFUTotale: 20 CFU

Secondo annoSecondo anno

I trimestreI trimestre Struttura e configurazione di sistemi Struttura e configurazione di sistemi

liberi (5 CFU, opz.)liberi (5 CFU, opz.) Certificazione software (5 CFU, opz.) Certificazione software (5 CFU, opz.) Informatica grafica e multimedialita’ (6 Informatica grafica e multimedialita’ (6

CFU, opz.)CFU, opz.) Totale: 16 CFUTotale: 16 CFU

Secondo annoSecondo anno

II trimestreII trimestre Sistemi per la gestione del territorio (3 Sistemi per la gestione del territorio (3

CFU, opz.)CFU, opz.) Gestione di imprese informatiche (5 Gestione di imprese informatiche (5

CFU, opz.)CFU, opz.) Totale: 8 CFU Totale: 8 CFU molto tempo (12 molto tempo (12

CFU) per CFU liberi e tesiCFU) per CFU liberi e tesi

Secondo annoSecondo anno

III trimestreIII trimestre Metodi numerici per l’analisi dei dati (4 Metodi numerici per l’analisi dei dati (4

CFU, opz.)CFU, opz.) Complementi di calcolo numerico (2 Complementi di calcolo numerico (2

CFU, opz.)CFU, opz.) Bioinformatica (6 CFU, opz.)Bioinformatica (6 CFU, opz.)

Totale: 12 CFU Totale: 12 CFU tempo (8 CFU) per tempo (8 CFU) per CFU liberi e tesiCFU liberi e tesi

La tesiLa tesi

Occasione per dare un contributo Occasione per dare un contributo personale all’Informaticapersonale all’Informatica

Di progetto, compilativa, Di progetto, compilativa, sperimentale, di ricercasperimentale, di ricerca

30 CFU tra studio e redazione 30 CFU tra studio e redazione circa 6 mesi in totalecirca 6 mesi in totale

Aree di ricercaAree di ricerca

Linguaggi di programmazione (Ranzato, Linguaggi di programmazione (Ranzato, File’, Colussi): semantica, analisi, File’, Colussi): semantica, analisi, verificaverifica

Teoria della sicurezza (File’, Colussi)Teoria della sicurezza (File’, Colussi) Intelligenza artificiale: apprendimento Intelligenza artificiale: apprendimento

automatico (Sperduti), preferenze e automatico (Sperduti), preferenze e incertezza (Rossi)incertezza (Rossi)

Sistemi real-time, linguaggio Ada, Sistemi real-time, linguaggio Ada, ingegneria del software (Vardanega)ingegneria del software (Vardanega)

Logica (Valentini, Faggian)Logica (Valentini, Faggian)

E dopo?E dopo?

Lavori piu’ qualificanti nell’industria:Lavori piu’ qualificanti nell’industria: Non solo programmatoreNon solo programmatore Gestione interi progettiGestione interi progetti

Dottorato di ricerca in InformaticaDottorato di ricerca in Informatica

Altre informazioniAltre informazioni

Segreteria didatticaSegreteria didattica Presidente CCS: Presidente CCS: frossi@math.unipd.itfrossi@math.unipd.it Sito Dipartimento di Matematica Pura ed Sito Dipartimento di Matematica Pura ed

Applicata (Applicata (www.math.unipd.itwww.math.unipd.it): SIS, orari, ): SIS, orari, appelli, docenti, ...appelli, docenti, ...

Sito CCS Informatica (Sito CCS Informatica (www.math.unipd.it/~frossi/ccs.htmlwww.math.unipd.it/~frossi/ccs.html): delibere ): delibere riunioni CCS (una al mese)riunioni CCS (una al mese)

Sito laurea specialistica (e triennale) in Sito laurea specialistica (e triennale) in Informatica: in costruzione Informatica: in costruzione (www.math.unipd.it/laurea-informatica/)(www.math.unipd.it/laurea-informatica/)