Laurea Specialistica in Informatica Francesca Rossi Presidente CCS Informatica frossi@math.unipd.it

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 180 per chi ha LT Informatica a Padova Numero chiuso a 35+3 Graduatoria basata su: 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 C 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) strutturare

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 Totale: 19 CFU 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 Totale: 20 CFU 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 Totale: 20 CFU Data mining (7 CFU, opz.) Sistemi intelligenti (7 CFU, obbl.) Sistemi con vincoli (6 CFU, obbl.) Totale: 20 CFU

Secondo anno I trimestre Totale: 16 CFU 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: frossi@math.unipd.it 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/)