Informatica a Verona Dipartimento di Informatica Facoltà di Scienze MM. FF. NN. Università degli Studi di Verona http://www.sci.univr.it

Agenda Motivazioni Struttura didattica Aree di ricerca Attrezzature Perché la laurea in Informatica? Breve storia Struttura didattica Aree di ricerca Attrezzature Sbocchi professionali

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%

Informatica e informazione Informatica come scienza e tecnologia dell’informazione

Una storia lunga un secolo! von Neumann p-calcolo CCS HCI Hilbert ENIAC Milner Software engineering P=NP? Algo distribuiti Quantum VLSI Tarjan DNA Godel Turing Calcolabilità Kleene Cook Programming Global computing Church UNIX Algoritmi Dijkstra Knuth IBM-360 LISP Fortran ALGOL Pascal Modelli Internet @ SQL C++ ML Prolog Java Embedded Verifica l-calcolo PC 1902 1936 1945 1960 1970 1980 1990 2000…….

Informatica in Italia 1950 1970 1980 1990 2000……. CEP Calcolatrice Elettronica Pisana Milano Bari Torino Salerno Roma Venezia Verona L’Aquila Firenze Catania Bologna Udine Genova Napoli Palermo Trento Cagliari Padova ……. Pisa 1969 1950 1970 1980 1990 2000…….

Informatica a Verona Laurea (dal 1993): 5 anni, 500 iscritti, 104 laureati, 34 esami Diploma universitario (dal 1998): 70 iscritti, 20esami Computer/studente =

…fino ad ora: Laurea + Diploma Informatica teorica Multimedialità Sistemi ed architetture Informatica matematica Linguaggi Robotica Intelligenza Artificiale Banche dati e sistemi informativi 2 anni Biennio di Specializzazione Diploma triennale 1 anno Formazione informatica di base Struttura rigida Formazione matematica Formazione fisica Formazione informatica Triennio di base 2 anni

La nuova struttura didattica Tesi di ricerca scientifica (120crd) Tesi di Laurea (30crd) Laurea Specialistica (120 crd) Progetto (5crd) Laurea (180 crd) 1 crd = 10h lezione + 15h studio personale

Offerta Didattica I diplomi su 3 livelli: Laurea = 3 anni Laurea Specialistica = 2 anni Dottorato = 3 anni Banche dati genomiche DNA-computing informatica medica diagnostica molecular design artificial life Elaborazione immagini elaborazione suoni progettazione HW sistemi embedded robotica e automazione modelli stocastici Applicazioni avanzate su rete verifica e sicurezza intelligenza artificiale global computing informatica teorica programmazione di sistemi distribuiti

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à

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 Logica Algebra Elaborazione delle immagini Dispositivi digitali Sistemi di elaborazione Telematica Simulazione e controllo automatico Teoria dell’informazione Fisica Analisi Formazione professionalizzante 1+1/2 anni Programmazione e Ing. SW Architetture Algoritmi Sistemi Operativi Fondamenti Interazione uomo macchina Fisica Analisi Geometria Probabilità e statistica Calcolo numerico Ottimizzazione Formazione comune 1+1/2 anni

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!) +

Modelli, analisi e verifica del SW 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 + bugs = disastri! SW Modello Formale Verifica Analisi Produzione

Modelli, analisi e verifica del SW Dimostrazione Sicurezza Modello Affidabilità + Bugs Software