Corso di Laurea in Informatica Percorso: Metodi e Modelli (M&M) a.a. 2007/2008 14-03-2007

Obiettivi Padroneggiare le metodologie di base dell’informatica e applicarle alla soluzione di rilevanti problemi applicativi: metodi computazionali di analisi dati (biologici e finanziari), ottimizzazione metodi logici, algebrici e combinatoriali per l’analisi e la costruzione di sistemi complessi (analisi e progettazione sistemi software, architettura software, processi) Acquisire competenze nel costruire modelli di sistemi complessi: sistemi finanziari, sistemi per la gestione della produzione, sistemi e processi biologici, sistemi concorrenti , sistemi software e hardware 14-03-2007

Obiettivi M&M si articola in due sotto-percorsi caratterizzati da approcci metodologici e modellistici comuni: A Tecnologie Informatiche per la Finanza e la Gestione (FG) Bioinformatica (BI ) B Fondamenti dell’Informatica (FI) Ingegneria del Software (ISW) 14-03-2007

Insegnamenti M&M-A Intelligenza artificiale (elementi) Fondamentali per FG e BI: Intelligenza artificiale (elementi) Laboratorio di Internet A scelta per BI: Metodi Computazionali per la Biologia Bioinformatica Data Mining Biologia Molecolare A scelta per FG: Analisi dei sistemi finanziari Data Mining Sistemi di Enterprise Resource Planning Business Intelligence 14-03-2007

Insegnamenti M&M-B Intelligenza artificiale (elementi) Fondamentali per FI e ISW: Intelligenza artificiale (elementi) Metodi formali dell’Informatica A scelta per FI: Fondamenti logico matematici dell’informatica (elementi) Apprendimento automatico Ingegneria della conoscenza e Sistemi Esperti Cibernetica (elementi di Teoria dei Sistemi) A scelta per ISW: Ingegneria del Software (Progettazione Object Oriented) Ingegneria del Software (Processo e Qualità) Sicurezza dei Sistemi Informatici Interazione Uomo – Macchina 14-03-2007

Contenuti M&M-A (Finanza e Gestione) Metodologie di Finanza Computazionale Progettazione di sistemi per la gestione del Rischio Finanziario Modellazione dei dati finanziari Modellazione di problemi di gestione e pianificazione della produzione e della logistica Sistemi di Enterprise Resource Planning 14-03-2007

Contenuti M&M-A (Bioinformatica) Metodi computazionali e algoritmi per l’analisi delle sequenze genomiche (DNA, RNA) utilizzo software biologico analisi banche dati genomiche ricostruzione della storia evolutiva di specie (alberi filogenetici) studi di variazioni genetiche (mutazioni) Metodi statistici per l’analisi dei dati biologici Modellazione e simulazione processi biologici Calcolo naturale 14-03-2007

Contenuti M&M-B (Fondamenti) Sistemi e processi concorrenti Reti di Petri (analisi e sintesi) Algebre di processi concorrenti (CCS, CSP) Model checking Analisi di comportamenti computazionali Algebre iniziali e tipi di dati astratti Sistemi di riscrittura di termini Strategie di riduzione Teorie equazionali 14-03-2007

Contenuti M&M-B (Ingegneria del Software) Analisi e progettazione di sistemi complessi Progettazione e sviluppo per componenti Progettazione e ricostruzione architettura Software Organizzazione e coordinamento del processo di sviluppo software Tecniche di controllo, tracciamento requisiti e difetti Tecniche utilizzate nelle diverse fasi di sviluppo software Sviluppo Software open source con tecniche agili Sviluppo interfacce utente Sicurezza dei sistemi informatici 14-03-2007

Sbocchi professionali Inserimento in aziende di settori specializzati e ad alto impatto multidisciplinare in cui sono centrali conoscenze ad ampio spettro Finanza e Gestione Bioinformatica Fondamenti dell’Informatica Ingegneria del Software Istituti finanziari (banche ed assicurazioni) Aziende di sw per la gestione della produzione e della logistica Società di sviluppo software per enti finanziari Centri di ricerca pubblici e privati (aziende ospedaliere e farmaceutiche) sviluppo software specializzato Laboratori ricerca e sviluppo di aziende ad alto impatto tecnologico Aziende produttrici o fornitrici di servizi con richiesta di analisti/ progettisti / technical managers junior, sw house con competenze specifiche, aziende o istituti per la ricerca e sviluppo 14-03-2007

Accesso Laurea Magistrale La formazione relativa agli strumenti formali di base che è tra gli obiettivi del percorso M&M può essere approfondita nei diversi percorsi offerti dalla Laurea Magistrale in Informatica. 14-03-2007

Informazioni percorso MM Prof. Giancarlo Mauri mauri@disco.unimib.it Per informazioni sul percorso M&M – A Tecnologie Informatiche per la Finanza e la Gestione (FG) - Prof. Enza Messina messina@disco.unimib.it Bioinformatica (BI) – Prof. Paola Bonizzoni bonizzoni@disco.unimib.it Per informazioni sul percorso M&M – B Fondamenti dell’Informatica (FI) - Prof. Lucia Pomello pomello@disco.unimib.it Ingegneria del Software (ISW) – Prof. Mauro Pezzè pezze@disco.unimib.it 14-03-2007