Laurea Specialistica in Informatica

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

2. Pre-iscrizione • Dal 26 Luglio al 27 Agosto • Modulo su web: www.unipd.it/unienter • Per problemi: segreteria Facolta’ di Scienze, Via Venezia 13

3. 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

4. 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)

5. 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)

6. 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)

7. 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

8. 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) Corsi opzionali forniti nell’AA 2004-2005

9. 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

10. Piani di studio • Automaticamente approvati se rispettano le regole • Anche piani di studio liberi  discussione e approvazione dal CCS • Entro fine di ogni anno

11. 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

12. 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

13. Primo anno • III trimestre • Data mining (7 CFU, opz.) • Sistemi intelligenti (7 CFU, obbl.) • Sistemi con vincoli (6 CFU, obbl.) • Totale: 20 CFU

14. 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

15. 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

16. 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

17. 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

18. 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)

19. E dopo? • Lavori piu’ qualificanti nell’industria: • Non solo programmatore • Gestione interi progetti • Dottorato di ricerca in Informatica

20. 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/)