Informatica a Verona
Dipartimento di Informatica
Facoltà di Scienze MM. FF. NN.
Università degli Studi di Verona
http://www.sci.univr.it
1
Agenda

Motivazioni

Perché la laurea in Informatica?

Breve storia

Struttura didattica

Aree di ricerca

Attrezzature

Sbocchi professionali
2
Perché studiare informatica?






Perché è una scienza
 Matematica
 Fisica
 Informatica
Perché ogni innovazione si fonda
su solide basi teoriche
Perché è difficile!
Perché è in rapida evoluzione
Perché è utile
Perché è necessaria nello sviluppo
socio-economico

Occupazione: 100%
3
Informatica e informazione
Informatica come scienza e tecnologia dell’informazione
INFORMAZIONE
Organizzazione
Modelli
Segnali
Linguaggi
Calcolabilità
Controllo-robotica
Verifica-correttezza
Complessità
Multimedialità
Coordinamento
Crittografia e sicurezza
Architetture SW
Sistemi HW
Immagini
Suoni
Realtà virtuale
Banche dati
Web
Sistemi operativi-Reti
Intelligenza Artificiale
Dispositivi digitali
Interazione uomo macchina
grafica
Quantum
DNA
4
Una storia lunga un secolo!
p-calcolo
CCS
von Neumann
HCI
Hilbert
ENIAC
Milner
Software engineering
P=NP?
VLSI
Calcolabilità
Kleene
Godel
Turing
Quantum
Algo
distribuiti
Tarjan
DNA
Cook
Programming
Global computing
Church
UNIX
Algoritmi
Dijkstra
IBM-360
LISP
Fortran
l-calcolo
1902
1936
1945
1960
ALGOL
Pascal
Modelli
1970
Knuth
Internet
C++
@
ML
SQL PC Prolog
1980
1990
Java
Embedded
Verifica
5
2000…….
Informatica in Italia
CEP
Calcolatrice Elettronica Pisana
Pisa
1969
1950
1970
Milano
Bari
Torino
Salerno
Roma
1980
Venezia
Verona
L’Aquila
Firenze
Catania
Bologna
Udine
Genova
1990
Napoli
Palermo
Trento
Cagliari
Padova
…….
2000…….
6
Informatica a Verona
Computer/studente =
120
100
80
Iscritti
Laureati
Fuoricorso
60
40
2000
1999
1998
1997
1996
0
1995
20
1994

Laurea (dal 1993): 5 anni, 500 iscritti, 104 laureati, 34 esami
Diploma universitario (dal 1998): 70 iscritti, 20esami
1993

7
…fino ad ora: Laurea + Diploma
Laurea
2 anni
Informatica teorica
Multimedialità
Sistemi ed architetture
Informatica matematica
Linguaggi
Robotica
Intelligenza Artificiale
Banche dati e sistemi informativi
Biennio di Specializzazione
Diploma triennale
1 anno
Formazione informatica di base
Struttura rigida
Triennio di base
2 anni
Formazione matematica
Formazione fisica
Formazione informatica
8
La nuova struttura didattica
I curricula in Informatica e Tecnologie dell'Informazione
Tesi di ricerca scientifica
(120crd)
Dottorato di Ricerca
3 anni (180crd)
II anno Laurea Specialistica
Approfondimento applicazioni
60crd
I anno Laurea Specialistica
Approfondimento di base
60crd
Tesi di Laurea
(30crd)
Laurea Specialistica
(120 crd)
Master
professionalizzante
60crd
1 anno
Progetto
(5crd)
III anno Laurea
Basi Informatiche
Applicazioni/Stage
60crd
II anno Laurea
Basi informatiche
60crd
I anno Laurea
Basi matematiche
e fisiche
60crd
Laurea
(180 crd)
1 crd = 10h lezione + 15h studio personale
9
Offerta Didattica

I diplomi su 3 livelli:



Dottorato di Ricerca
in Informatica
Banche dati genomiche
DNA-computing
informatica medica
diagnostica
molecular design
artificial life
Laurea Specialistica
Bioinformatica
Laurea Specialistica
Informatica
Laurea = 3 anni
Laurea Specialistica = 2 anni
Dottorato = 3 anni
Laurea Specialistica
Tecnologie dell'informazione
Elaborazione immagini
elaborazione suoni
progettazione HW
sistemi embedded
robotica e automazione
modelli stocastici
Laurea
Tecnologie dell'informazione
controllo di sistemi fisici
progettazione di dispositivi digitali
modellazione processi continui
controllo di apparati di rete
multimedia
Laurea
Informatica
Applicazioni avanzate su rete
verifica e sicurezza
intelligenza artificiale
global computing
informatica teorica
programmazione di sistemi distribuiti
banche dati e web
architetture software
modellazione della conoscenza
servizi di rete
sicurezza di sistemi
10
Il primo livello a Verona

Informatica







Basi: matematica
discreta e logica
Specialisti in:
Sistemi informativi e banche dati
Progettazione e sviluppo di
architetture software complesse
Modellazione della conoscenza,
Progettazione e sviluppo di
applicazioni e servizi di rete (Web)
Sicurezza di sistemi

Tecnologie
dell’informazione







Basi: matematica del
continuo e fisica
Specialisti in:
Analisi e controllo dei sistemi fisici
Progettazione di dispositivi digitali
Modellistica di processi continui
Gestione di apparati di rete
Elaborazione e interpretazione dei
segnali e multimedialità
11
I piani di studio delle Lauree

Informatica

Tecnologie dell’informazione
Architetture SW
Basi di dati e Web
Linguaggi e compilatori
Reti di calcolatori e applicazioni
Programmazione avanzata
Economia aziendale
Elaborazione delle immagini
Dispositivi digitali
Sistemi di elaborazione
Telematica
Simulazione e controllo automatico
Teoria dell’informazione
Logica
Algebra
Fisica
Analisi
Programmazione e Ing. SW
Architetture
Algoritmi
Sistemi Operativi
Fondamenti
Interazione uomo macchina
Fisica
Analisi
Geometria
Probabilità e statistica
Calcolo numerico
Ottimizzazione
Formazione
professionalizzante
1+1/2 anni
Formazione comune
1+1/2 anni
12
Prerequisiti

Passione per le scienze esatte

Interesse per la tecnologia

Buone basi di matematica

Trigonometria, algebra, funzioni logaritmiche, equazioni e
disequazioni

Conoscenza del metodo scientifico

Capacità di ragionamento logico-formale

Padronanza dell’inglese (…e dell’italiano!)
+
13
Modelli, analisi e verifica del SW





SW + bugs = disastri!
Il SW controlla processi critici
 traffico aereo, centrali nucleari,
banche, robot ...
Il SW è molto complesso (~5-10Mlines C++)
Il SW è in rapida evoluzione
aggiornamento del 50-60%/anno
Vita media: 20 anni!
SW
Modello
Formale
Verifica
Analisi
Produzione
14
Modelli, analisi e verifica del SW
Dimostrazione
Sicurezza
Modello
Affidabilità
+
Software
Bugs
15