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

Presentazione sul tema: "Informatica a Verona Dipartimento di Informatica Facoltà di Scienze MM. FF. NN. Università degli Studi di Verona http://www.sci.univr.it."— Transcript della presentazione:

1 Informatica a Verona Dipartimento di Informatica Facoltà di Scienze MM. FF. NN. Università degli Studi di Verona

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

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

4 Informatica e informazione
Informatica come scienza e tecnologia dell’informazione

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

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

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

8 …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

9 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

10 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

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

12 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

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

14 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

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