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à