1 Informatica a Verona Dipartimento di Informatica Facoltà di Scienze MM. FF. NN. Università degli...
-
Upload
armo-roberti -
Category
Documents
-
view
215 -
download
2
Transcript of 1 Informatica a Verona Dipartimento di Informatica Facoltà di Scienze MM. FF. NN. Università degli...
11
Informatica a VeronaInformatica a VeronaInformatica a VeronaInformatica a Verona
Dipartimento di InformaticaDipartimento di Informatica
Facoltà di Scienze MM. FF. NN.Facoltà di Scienze MM. FF. NN.
Università degli Studi di VeronaUniversità degli Studi di Veronahttp://www.sci.univr.ithttp://www.sci.univr.it
22
AgendaAgendaAgendaAgenda
Motivazioni
Perché la laurea in Informatica?
Breve storia
Struttura didattica
Aree di ricerca
Attrezzature
Sbocchi professionali
33
Perché studiare informatica?Perché studiare informatica?
Perché è una scienzaPerché è una scienza MatematicaMatematica FisicaFisica InformaticaInformatica
Perché ogni innovazione si fonda Perché ogni innovazione si fonda su solide basi teorichesu solide basi teoriche
Perché è difficile!Perché è difficile! Perché è in rapida evoluzionePerché è in rapida evoluzione Perché è utilePerché è utile Perché è necessaria nello sviluppo Perché è necessaria nello sviluppo
socio-economicosocio-economico
Occupazione: 100%Occupazione: 100%
44
Informatica e informazioneInformatica e informazione
Informatica come scienza e tecnologia dell’informazioneInformatica come scienza e tecnologia dell’informazione
L inguagg i
V er if ica -co rre ttezza
C oord inam ento
A rchite t ture S W
B anche da t iW eb
Inte lligenza A rt if ic ia le
Inte razione uom o m acchinagra f ica
O rganizzazione
C a lco lab ilità
C r it tog ra f ia e s icurezza
C om pless ità
S is tem i opera t ivi-R e t i
D ispos it ivi d ig ita li
S is tem i HW
Q uantum
D NA
M ode lli
C ontro llo -robo t ica
Im m ag ini
S uoni
R ea ltà vir tua le
M ult im ed ia lità
S egna li
INFO R M A ZIO NE
55
Una storia lunga un secolo!Una storia lunga un secolo!
GodelGodelTuringTuring
HilbertHilbert
19021902 19361936 19451945 19601960 19701970 19801980 19901990 2000…….2000…….
QuantumQuantum
DNADNA
von Neumannvon Neumann
Global Global computingcomputing
HCIHCI
ALGOLALGOLPascalPascalModelliModelli
P=NP?P=NP?
CookCook
C++C++MLML
PrologProlog
IBM-360IBM-360LISPLISP
FortranFortran
JavaJavaEmbeddedEmbedded
VerificaVerifica
InternetInternet@@
SQLSQL
-calcolo-calcoloCCSCCS
MilnerMilner
ChurchChurch
DijkstraDijkstra KnuthKnuth
-calcolo-calcolo
UNIXUNIX
ENIACENIAC
TarjanTarjan
AlgoritmiAlgoritmi
ProgrammingProgramming
VLSIVLSI
PCPC
Software engineeringSoftware engineering
CalcolabilitàCalcolabilitàKleeneKleene
AlgoAlgodistribuitidistribuiti
66
Informatica in ItaliaInformatica in Italia
PisaPisa19691969
19501950 19701970 19801980 19901990 2000…….2000…….
VeneziaVeneziaVeronaVeronaL’AquilaL’AquilaFirenzeFirenzeCataniaCatania
MilanoMilanoBariBari
TorinoTorinoSalernoSalernoRomaRoma
NapoliNapoliPalermoPalermoTrentoTrentoCagliariCagliariPadovaPadova
…………..
BolognaBolognaUdineUdine
GenovaGenova
CEPCEPCalcolatrice Elettronica PisanaCalcolatrice Elettronica Pisana
77
Informatica a VeronaInformatica a Verona
Laurea (dal 1993): 5 anni, 500 iscritti, 104 laureati, 34 esamiLaurea (dal 1993): 5 anni, 500 iscritti, 104 laureati, 34 esami Diploma universitario (dal 1998): 70 iscritti, 20esamiDiploma universitario (dal 1998): 70 iscritti, 20esami
0
20
40
60
80
100
120
1993
1994
1995
1996
1997
1998
1999
2000
IscrittiLaureatiFuoricorso
Computer/studente =Computer/studente =
88
…fino ad ora: Laurea + Diploma…fino ad ora: Laurea + Diploma
Formazione matematica Formazione matematica Formazione fisicaFormazione fisica
Formazione informaticaFormazione informatica
Informatica teoricaInformatica teoricaMultimedialitàMultimedialità
Sistemi ed architettureSistemi ed architettureInformatica matematicaInformatica matematica
LinguaggiLinguaggiRoboticaRobotica
Intelligenza ArtificialeIntelligenza ArtificialeBanche dati e sistemi informativiBanche dati e sistemi informativi
Formazione informatica di baseFormazione informatica di base
LaureaLaurea
Biennio di SpecializzazioneBiennio di Specializzazione
Triennio di baseTriennio di base
2 anni2 anni
1 anno1 anno
2 anni2 anni
Diploma triennaleDiploma triennale
Struttura rigidaStruttura rigida
99
La nuova struttura didatticaLa nuova struttura didatticaI cu rricu la in In fo rm atica e Tecn o log ie d e ll'In fo rm az ion e
M as te rp ro fess ion a liz zan te
6 0 c rd1 an n o
I anno LaureaB as i m atem atich e
e fis ich e6 0 c rd
II anno LaureaB as i in fo rm atich e
6 0 c rd
III anno LaureaB as i In fo rm atich e
A p p licaz ion i/S tag e6 0 c rd
I anno Laurea SpecialisticaA p p ro fon d im en to d i b ase
6 0 c rd
II anno Laurea SpecialisticaA p p ro fon d im en to ap p licaz ion i
6 0 c rd
D otto ra to d i R ice rca3 an n i (1 8 0 c rd )
Laurea SpecialisticaLaurea Specialistica(120 crd)(120 crd)
LaureaLaurea(180 crd)(180 crd)
1 crd = 10h lezione + 15h studio personale1 crd = 10h lezione + 15h studio personale
Tesi di LaureaTesi di Laurea(30crd)(30crd)
ProgettoProgetto(5crd)(5crd)
Tesi di ricerca scientificaTesi di ricerca scientifica(120crd)(120crd)
1010
Offerta DidatticaOfferta Didattica
I diplomi su 3 livelli:I diplomi su 3 livelli: Laurea = 3 anniLaurea = 3 anni Laurea Specialistica = 2 anniLaurea Specialistica = 2 anni Dottorato = 3 anniDottorato = 3 anni
L au rea S p ec ia lis t icaTecn o log ie d e ll'in fo rm az ion e
L au rea S p ec ia lis t icaB io in fo rm atica
L au rea S p ec ia lis t icaIn fo rm atica
con tro llo d i s is tem i fis ic ip rog e ttaz ion e d i d isp os it ivi d ig ita lim od e llaz ion e p rocess i con tin u icon tro llo d i ap p ara ti d i re tem u lt im ed ia
L au reaTecn o log ie d e ll'in fo rm az ion e
b an ch e d a ti e w ebarch ite ttu re so ftw arem od e llaz ion e d e lla con oscen zaserviz i d i re tes icu rezza d i s is tem i
L au reaIn fo rm atica
D otto ra to d i R ice rcain In fo rm atica
Applicazioni avanzate su reteverifica e sicurezza
intelligenza artificialeglobal computing
informatica teoricaprogrammazione di sistemi distribuiti
Elaborazione immaginielaborazione suoniprogettazione HWsistemi embedded
robotica e automazionemodelli stocastici
Banche dati genomicheDNA-computing
informatica medicadiagnostica
molecular designartificial life
1111
Il primo livello a VeronaIl primo livello a Verona
InformaticaInformatica
Basi: matematica Basi: matematica discreta e logicadiscreta e logica
Specialisti in:Specialisti in: Sistemi informativi e Sistemi informativi e banche datibanche dati Progettazione e sviluppo di Progettazione e sviluppo di
architetture softwarearchitetture software complesse complesse Modellazione della Modellazione della conoscenzaconoscenza,, Progettazione e sviluppo di Progettazione e sviluppo di
applicazioni e applicazioni e servizi di rete (Web)servizi di rete (Web) SicurezzaSicurezza di sistemi di sistemi
Tecnologie Tecnologie dell’informazionedell’informazione Basi: matematica del Basi: matematica del
continuo e fisicacontinuo e fisica Specialisti in:Specialisti in: Analisi e controllo dei Analisi e controllo dei sistemi fisicisistemi fisici Progettazione di Progettazione di dispositivi digitalidispositivi digitali Modellistica di Modellistica di processi continuiprocessi continui Gestione di Gestione di apparati di reteapparati di rete Elaborazione e interpretazione dei Elaborazione e interpretazione dei
segnali e segnali e multimedialitàmultimedialità
1212
I piani di studio delle LaureeI piani di studio delle Lauree
InformaticaInformatica Tecnologie dell’informazioneTecnologie dell’informazione
Programmazione e Ing. SWProgrammazione e Ing. SWArchitettureArchitetture
AlgoritmiAlgoritmiSistemi OperativiSistemi Operativi
FondamentiFondamentiInterazione uomo macchinaInterazione uomo macchina
Architetture SWArchitetture SWBasi di dati e WebBasi di dati e Web
Linguaggi e compilatoriLinguaggi e compilatoriReti di calcolatori e applicazioniReti di calcolatori e applicazioni
Programmazione avanzataProgrammazione avanzataEconomia aziendaleEconomia aziendale
LogicaLogicaAlgebraAlgebra
Elaborazione delle immaginiElaborazione delle immaginiDispositivi digitaliDispositivi digitali
Sistemi di elaborazioneSistemi di elaborazioneTelematicaTelematica
Simulazione e controllo automaticoSimulazione e controllo automaticoTeoria dell’informazioneTeoria dell’informazione
FisicaFisicaAnalisiAnalisi
FisicaFisicaAnalisiAnalisi
GeometriaGeometriaProbabilità e statisticaProbabilità e statistica
Calcolo numericoCalcolo numericoOttimizzazioneOttimizzazione
Formazione comuneFormazione comune1+1/2 anni1+1/2 anni
Formazione Formazione professionalizzanteprofessionalizzante
1+1/2 anni1+1/2 anni
1313
PrerequisitiPrerequisiti
Passione per le scienze esattePassione per le scienze esatte
Interesse per la tecnologiaInteresse per la tecnologia
Buone basi di matematicaBuone basi di matematica
Trigonometria, algebra, funzioni logaritmiche, equazioni e Trigonometria, algebra, funzioni logaritmiche, equazioni e
disequazionidisequazioni
Conoscenza del metodo scientificoConoscenza del metodo scientifico
Capacità di ragionamento logico-formaleCapacità di ragionamento logico-formale
Padronanza dell’inglese (…e dell’italiano!)Padronanza dell’inglese (…e dell’italiano!)++
1414
Modelli, analisi e verifica del SWModelli, analisi e verifica del SW
Il SW controlla processi criticiIl SW controlla processi critici traffico aereo, centrali nucleari, traffico aereo, centrali nucleari,
banche, robot ...banche, robot ... Il SW è molto complesso (~5-10Mlines C++) Il SW è molto complesso (~5-10Mlines C++) Il SW è in rapida evoluzioneIl SW è in rapida evoluzione
aggiornamento del 50-60%/annoaggiornamento del 50-60%/anno Vita media: 20 anni!Vita media: 20 anni!
SWSW ModelloModelloFormaleFormale
VerificaVerificaAnalisiAnalisi
ProduzioneProduzione
SW + bugs = disastri!
1515
Modelli, analisi e verifica del SWModelli, analisi e verifica del SW
DimostrazioneDimostrazione
SoftwareSoftware BugsBugs
ModelloModello
++
SicurezzaSicurezza
AffidabilitàAffidabilità