Presentazione corsi di Informatica UniCam

49
Computer Science @ UNICAM Presentazione dei Corsi di Laurea in Informatica (L-31) e Laurea Magistrale in Computer Science (LM18) Aula Arangio Ruiz, Palazzo Ducale – Camerino 30 Settembre 2015 Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 1 / 45

Transcript of Presentazione corsi di Informatica UniCam

Page 1: Presentazione corsi di Informatica UniCam

Computer Science @ UNICAMPresentazione dei Corsi di Laurea in Informatica (L-31)

e Laurea Magistrale in Computer Science (LM18)

Aula Arangio Ruiz, Palazzo Ducale – Camerino

30 Settembre 2015

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 1 / 45

Page 2: Presentazione corsi di Informatica UniCam

ToC

1 La Sezione di Informatica di UNICAM

2 La Laurea Triennale in Informatica (L-31)

3 La Laurea Magistrale in Computer Science (LM18)Percorso Enterprise Software Systems (ESS)Percorso Software and Systems for Industries (SSI)Percorso Software Modeling and Verification (SMV)

4 Percorsi Internazionali con Double Degree

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 2 / 45

Page 3: Presentazione corsi di Informatica UniCam

La Sezione di Informatica di UNICAM

ToC

1 La Sezione di Informatica di UNICAM

2 La Laurea Triennale in Informatica (L-31)

3 La Laurea Magistrale in Computer Science (LM18)Percorso Enterprise Software Systems (ESS)Percorso Software and Systems for Industries (SSI)Percorso Software Modeling and Verification (SMV)

4 Percorsi Internazionali con Double Degree

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 3 / 45

Page 4: Presentazione corsi di Informatica UniCam

La Sezione di Informatica di UNICAM

La Sezione in numeri

Componenti della sezione (docenti, assegnisti, PhD) 30Iscritti ca 500Accordi di Double Degree 5Progetti attualmente in corso (EU, POR, . . . ) 25Budget complessivo 4.5MeStage aziendali fatti negli ultimi 5 anni oltre 500Pubblicazioni internazionali dei docenti della sezione oltre 500

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 4 / 45

Page 5: Presentazione corsi di Informatica UniCam

La Sezione di Informatica di UNICAM

La Sezione di Informatica - Organigramma

Leonardo Mostarda

Andrea PoliniFrancesco TiezziRoberto GagliardiFausto MarcantoniRosario CulmoneM.Concetta De VivoDiletta CacciagranoAlberto Polzonetti

Direttore di SezioneResponsabile all’OrientamentoResponsabile dei Corsi di StudioResponsabile all’InternazionalizzazioneResponsabile TutoratoResponsabile StageResponsabile Pratiche StudentiResponsabile Servizio DisabiliResponsabile Stage InternazionaliResponsabile Logistica

[email protected]

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 5 / 45

Page 6: Presentazione corsi di Informatica UniCam

La Sezione di Informatica di UNICAM

Linee di ricerca rilevanti

MissioneModellazione, analisi, verifica formale, deployment di sistemi distribuiti

Interessi di ricerca

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 6 / 45

Page 7: Presentazione corsi di Informatica UniCam

La Sezione di Informatica di UNICAM

Linee di ricerca rilevanti

MissioneModellazione, analisi, verifica formale, deployment di sistemi distribuiti

Principali linee di ricerca

Modellazione, analisi e implementazione di processi di business

Metodi e linguaggi formali per sistemi complessi

Analisi, verifica e testing di sistemi distribuiti

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 6 / 45

Page 8: Presentazione corsi di Informatica UniCam

La Laurea Triennale in Informatica (L-31)

ToC

1 La Sezione di Informatica di UNICAM

2 La Laurea Triennale in Informatica (L-31)

3 La Laurea Magistrale in Computer Science (LM18)Percorso Enterprise Software Systems (ESS)Percorso Software and Systems for Industries (SSI)Percorso Software Modeling and Verification (SMV)

4 Percorsi Internazionali con Double Degree

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 7 / 45

Page 9: Presentazione corsi di Informatica UniCam

La Laurea Triennale in Informatica (L-31)

Obiettivi Formativi

La laurea fornisce competenze teoriche, metodologiche,sperimentali ed applicative nelle aree fondamentali dell’informatica

I laureati del corso di laurea devono:possedere conoscenze e competenze nei vari settori delle scienze e tecnologiedell’informazione e della comunicazione mirate al loro utilizzo nellaprogettazione, sviluppo e gestione di sistemi informatici;

avere capacità di affrontare e analizzare problemi e di sviluppare sistemiinformatici per la loro soluzione;

acquisire le metodologie di indagine ed essere in grado di applicarle in situazioniconcrete con appropriata conoscenza degli strumenti matematici di supporto allecompetenze informatiche;

essere in grado di utilizzare efficacemente, in forma scritta e orale, almeno unalingua dell’Unione Europea, oltre l’italiano;

essere capaci di lavorare in gruppo, di operare con definiti gradi di autonomia edi inserirsi prontamente negli ambienti di lavoro.

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 8 / 45

Page 10: Presentazione corsi di Informatica UniCam

La Laurea Triennale in Informatica (L-31)

Piano di Studi - 1◦ anno

Programmazione 12 CFU (6 di Lab.)Calcolo ed Algebra Lineare 12 CFULogica Matematica 6 CFUFondamenti di Informatica 6 CFUArchitettura degli Elaboratori 12 CFU (6 di Lab.)Diritto delle Nuove Tecnologie 6 CFULingua Inglese (livello minimo B1) 6 CFUTotale 1◦ anno 60 CFU (12 di Lab)

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 9 / 45

Page 11: Presentazione corsi di Informatica UniCam

La Laurea Triennale in Informatica (L-31)

Piano di Studi - 2◦ anno

Algoritmi e Strutture Dati 12 CFU (6 di Lab.)Gestione dell’Informazione 6 CFUInternet, Reti e Sicurezza 9 CFU (3 di Lab.)Sistemi Operativi 9 CFU (3 di Lab.)Scelta Matematica 6 CFUProgrammazione Web 6 CFUBusiness e Management nell’IT 6 CFUCrediti Liberi 6 CFUTotale 2◦ anno 60 CFU (12 di Lab.)

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 10 / 45

Page 12: Presentazione corsi di Informatica UniCam

La Laurea Triennale in Informatica (L-31)

Piano di Studi - 3◦ anno

A scelta tra i proposti 12 CFUIngegneria del Software 12 CFU (6 di Lab.)Progetto di gruppo 12 CFUStage 12 CFUCrediti Liberti 6 CFUProva finale 6 CFUTotale 3◦ anno 60 CFUTotale Percorso 180 CFU (30 di Lab.)

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 11 / 45

Page 13: Presentazione corsi di Informatica UniCam

La Laurea Triennale in Informatica (L-31)

Esami a scelta 1/2

Scelta Matematica

Calcolo delle Probabilità e Statistica 6 CFUCalcolo Numerico 6 CFURicerca Operativa 6 CFU

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 12 / 45

Page 14: Presentazione corsi di Informatica UniCam

La Laurea Triennale in Informatica (L-31)

Esami a scelta 2/2

Scelta Informatica

IT Security 6 CFUDistributed Systems 6 CFUNetworking Fundamentals (CISCO I-II) 6 CFUNetworking Discovery (CISCO III-IV) 6 CFUFormal Languages and Compilers 6 CFUModel Checking 6 CFUAdvanced Business Process Management 6 CFUAdvanced Databases 6 CFUModelling and Simulation 6 CFUModelling and Verification 6 CFUMobile Programming 6 CFUMachine Learning - Neural Networks 6 CFU

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 13 / 45

Page 15: Presentazione corsi di Informatica UniCam

La Laurea Triennale in Informatica (L-31)

Stage++ - vista aritmetica

Percorso Standard

Progetto di gruppo 12 CFUStage 12 CFUProva finale 6 CFU

Stage++

Progetto di gruppo 12 CFU +Stage 12 CFU +Prova finale 6 CFU =Totale 30 CFU (6 mesi ca.)

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 14 / 45

Page 16: Presentazione corsi di Informatica UniCam

La Laurea Triennale in Informatica (L-31)

Stage++ - vista aritmetica

Percorso Standard

Progetto di gruppo 12 CFUStage 12 CFUProva finale 6 CFU

Stage++

Progetto di gruppo 12 CFU +Stage 12 CFU +Prova finale 6 CFU =Totale 30 CFU (6 mesi ca.)

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 14 / 45

Page 17: Presentazione corsi di Informatica UniCam

La Laurea Triennale in Informatica (L-31)

Stage++ - obiettivi

Partita a tre ruoliAzienda:

sperimentare nuove soluzioni, tecnologie, metodologie . . .monitorare e valutare persone nello svolgimento di attività di lavoro“reale” e in un contesto complesso

Studente:calarsi in un contesto di lavoro stimolante per mettersi alla prova

Docente:sperimentare e validare idee e soluzioni in contesti concreticreare e sviluppare collaborazioni con imprese cheauspicabilmente possano maturare in progetti più corposi di varianatura (EU, POR, etc.)

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 15 / 45

Page 18: Presentazione corsi di Informatica UniCam

La Laurea Triennale in Informatica (L-31)

Stage++ - vista operativa

L’azienda identifica un problema sul quale voler sperimentare, epianifica le attività di sperimentazione in accordo al possibilecoinvolgimento di almeno 2, ed al massimo 4, studenti.L’azienda descrive e comunica al responsabile per gli Stage++ ilproblema e le linee guida del progetto (ambiti tecnologici,metodologici, contesto lavorativo etc.)Il responsabile degli Stage++ identifica un docente interessato apartecipare al progettoIl docente raffina con l’azienda il progetto ed piano operativoGli studenti necessari vengono identificati ed il progetto ha inizio

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 16 / 45

Page 19: Presentazione corsi di Informatica UniCam

La Laurea Triennale in Informatica (L-31)

Stage++ - vista formale

Registrazione degli esamiIl lavoro di indagine di definizione della soluzione e dipianificazione viene documentato e costituisce il lavoro utile allavalutazione del Progetto di Gruppo (voto)Il lavoro di sviluppo, da svolgersi obbligatoriamente pressol’azienda, costituisce attività utile allo svolgimento dello stage(idoneità)La sintesi finale ed i risultati vengono descritti nel lavoro di tesiche dovrà ragionevolmente rappresentare un lavoro di 6 mesi perogni studente. (voto)

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 17 / 45

Page 20: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18)

ToC

1 La Sezione di Informatica di UNICAM

2 La Laurea Triennale in Informatica (L-31)

3 La Laurea Magistrale in Computer Science (LM18)Percorso Enterprise Software Systems (ESS)Percorso Software and Systems for Industries (SSI)Percorso Software Modeling and Verification (SMV)

4 Percorsi Internazionali con Double Degree

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 18 / 45

Page 21: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18)

Obiettivi FormativiLa laurea fornisce approfondite competenze teoriche, metodologiche,sperimentali ed applicative nelle aree fondamentali dell’informatica.

Il laureato dovrà essere capace di pianificare, progettare, sviluppare,assumere la direzione lavori, stimare, collaudare e gestire sistemi complessie/o innovativi per la generazione, la trasmissione e l’elaborazione delleinformazioni, anche con metodologie avanzate, innovative o sperimentali

I laureati nei corsi di laurea magistrale della classe devono in particolare:possedere solide conoscenze sia dei fondamenti che degli aspetti applicativi deivari settori dell’informatica;

conoscere in modo approfondito i principi, le strutture e l’utilizzo dei sistemi dielaborazione;

conoscere fondamenti, tecniche e metodi di progettazione e realizzazione disistemi informatici, sia di base sia applicativi;

possedere elementi di cultura aziendale e professionale;

essere in grado di lavorare con ampia autonomia, anche assumendoresponsabilità di progetti e strutture.

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 19 / 45

Page 22: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18)

Indirizzi

Il corso di laurea magistrale in Computer Science dall’A.A. 2015/2016ha attivato tre differenti percorsi che prevedono sostanziali differenzenegli esami da sostenere (54 CFU).I tre indirizzi attivati sono:

Enterprise Software Systems (ESS)Software and Systems for Industries (SSI)Software Modeling and Verification (SMV)

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 20 / 45

Page 23: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18)

Piano di Studi - 1◦ anno

English Language (almeno livello B2) 6 CFUComplex Systems Design 12 CFUEsami di indirizzo (gruppo I) 24 CFUEsame a scelta di indirizzo (gruppo II) 6 CFUEsame a scelta del percorso (gruppo III) 6 CFUScelta libera 6 CFUTotale 1◦ anno 60 CFU

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 21 / 45

Page 24: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18)

Piano di Studi - 2◦ anno

Esami di indirizzo (gruppo I) 12 CFUSoftware Project Management 12 CFUScelta Libera 6 CFUTesi 30 CFUTotale 2◦ anno 60 CFUTotale percorso 120 CFU

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 22 / 45

Page 25: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18)

Esami a scelta del percorso (6 CFU)

Theory of Complexity 6 CFUQueuing Networks: Modeling 6 CFUFinancial Management and Strategy 6 CFUSoftware Engineering II - Software Testing 6 CFUNetworking fundamentals CISCO (I-II) 6 CFUNeural Networks 6 CFU

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 23 / 45

Page 26: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18) Percorso Enterprise Software Systems (ESS)

ToC

1 La Sezione di Informatica di UNICAM

2 La Laurea Triennale in Informatica (L-31)

3 La Laurea Magistrale in Computer Science (LM18)Percorso Enterprise Software Systems (ESS)Percorso Software and Systems for Industries (SSI)Percorso Software Modeling and Verification (SMV)

4 Percorsi Internazionali con Double Degree

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 24 / 45

Page 27: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18) Percorso Enterprise Software Systems (ESS)

Enterprise Software Systems - Visione d’InsiemeIl curriculum ha l’obiettivo d’integrare nozioni e competenze di gestione aziendale edi tecnologia dell’informazione

Questo risulta in una combinazione di esperienze quale pre-requisito per unosviluppo con successo di soluzioni tecnologiche per le aziende che intendonofornire prodotti e servizi

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 25 / 45

Page 28: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18) Percorso Enterprise Software Systems (ESS)

Enterprise Software Systems - Obiettivi

“Probabilmente dovrei essere piu’ chiara quando dico di voler costruire un ponte tra lagestione aziendale e le tecnologie dell’informazione”

Acquisire competenze nell’utilizzo di soluzioni IT avanzate in grado di migliorarele capacita’ organizzative aziendali

Prepararsi per un mercato del lavoro globale

Porre particolare attenzione alle problematiche introdotte dai cambiamentiorganizzativi

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 26 / 45

Page 29: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18) Percorso Enterprise Software Systems (ESS)

Indirizzo Enterprise Software Systems (ESS)

1◦ anno - Esami IndirizzoComplex Systems Design 12 CFUAdvanced Databases 6 CFUBusiness Process Management and Flexibility 6 CFUKnowledge Engineering and Business Intelligence 6 CFUAlignment of Business and IT 6 CFU

2◦ Anno - Esami IndirizzoSoftware Project Management 12 CFUBusiness Process Digitalization and Cloud Computing 6 CFUMining Data and Processes 6 CFU

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 27 / 45

Page 30: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18) Percorso Enterprise Software Systems (ESS)

ESS - Esami a scelta di indirizzo

Queuing Networks: Simulation 6 CFUReactive Systems Verification 6 CFUKnowledge Management and Competence Development 6 CFUFormal Modeling of Software Intensive Systems 6 CFUDistributed systems 6 CFUIT Security 6 CFU

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 28 / 45

Page 31: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18) Percorso Enterprise Software Systems (ESS)

Prospettive Occupazionali

I laureati in Computer Science nel percorso ESS si rivolgono almondo del lavoro e saranno in grado di ...

... guidare il processo di innovazione aziendale

... avere a che fare con un ambiente in continua evoluzione

Specifiche competenze e metodologie acquisite permettono allaureato anche l’inserimento in un percorso professionaleuniversitario

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 29 / 45

Page 32: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18) Percorso Enterprise Software Systems (ESS)

Double Degree e Testimonials

Gli studenti hanno l’opportunita’ diottenere la laurea magistralecon doppio tiolo in BusinessInformation Systems rilasciatada parte della FHNW (CH)

The pragmatic approach allows for a more direct relationship between teachers andstudents. You can get reviews, tips and guides from the teachers and raise your levelof maturity - Jessica Usai, Double Degree Student FHNW

Knowing students coming from all over the world and having different backgrounds aswell as experiences is one of the factors which make this course very worthwhile. Thereally good interaction with the professors is one of the success key of this course -Emanuele Laurenzi, Double Degree Student FHNW

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 30 / 45

Page 33: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18) Percorso Software and Systems for Industries (SSI)

ToC

1 La Sezione di Informatica di UNICAM

2 La Laurea Triennale in Informatica (L-31)

3 La Laurea Magistrale in Computer Science (LM18)Percorso Enterprise Software Systems (ESS)Percorso Software and Systems for Industries (SSI)Percorso Software Modeling and Verification (SMV)

4 Percorsi Internazionali con Double Degree

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 31 / 45

Page 34: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18) Percorso Software and Systems for Industries (SSI)

Software and Systems for Industries - Visioned’Insieme

Embedded systems are increasingly being joined together into an"Internet of things" to enable several applications such as smarthomes, manufacturing, energy distribution, e-health, ambient assistingliving and mobility.

SSI vuole fornire agli studenti le conoscenze relative alle architetturedei sistemi embedded, i concetti alla base dell’interconnessione e dellaprogrammazione. Il percorso include anche sicurezza, simulazione everifica dei sistemi distribuiti, con focus sui sistemi embedded.

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 32 / 45

Page 35: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18) Percorso Software and Systems for Industries (SSI)

Software and Systems for Industries - Obiettivi

Comprendere l’architettura dei sistemi embedded;

Conoscere tecniche avanzate di programmazione dei sistemi embedded;

Saper progettare, programmare e realizzare Internet of things;

Gestire gli aspetti della sicurezza di rete;

Simulare e verificare sistemi distribuiti, con particolare attenzione al caso deisistemi embedded.

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 33 / 45

Page 36: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18) Percorso Software and Systems for Industries (SSI)

Software and Systems for Industries (SSI)

1◦ anno - Esami IndirizzoComplex Systems Design 12 CFUIT Security 6 CFUEmbedded Systems: Architecture and Basic Concepts 6 CFUInternetworking Ubiquitous Systems 6 CFUDistributed Systems 6 CFU

2◦ Anno - Esami IndirizzoEmbedded Systems Programming 6 CFUCyber Physical systems 6 CFU

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 34 / 45

Page 37: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18) Percorso Software and Systems for Industries (SSI)

SSI - Esami a scelta di indirizzo

Queuing Networks: Simulation 6 CFUReactive Systems Verification 6 CFUDistributed Calculus and Coordination - Module I 6 CFUFormal Modeling of Software Intensive Systems 6 CFUFormal Languages and Compilers 6 CFUNetworking discovery CISCO (III-IV) 6 CFU

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 35 / 45

Page 38: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18) Percorso Software and Systems for Industries (SSI)

Prospettive Occupazionali

I laureati in Computer Science nel percorso SSI si rivolgono almondo del lavoro presso:

Utilizzatori dei prodotti embedded, quali PA, società produttrici dibeni di consumo, aziende per sistemi di trasporto, aziende per ilmonitoraggio, smart-∗ . . .;Fornitori di sistemi embedded;Società per il progetto, il controllo e la gestione di reti;Università e centri di ricerca operanti nei settori dei sistemiembedded e dell’internetworking;Consulenti esperti nella gestione della sicurezza di reti e dei sistemiembedded;

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 36 / 45

Page 39: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18) Percorso Software Modeling and Verification (SMV)

ToC

1 La Sezione di Informatica di UNICAM

2 La Laurea Triennale in Informatica (L-31)

3 La Laurea Magistrale in Computer Science (LM18)Percorso Enterprise Software Systems (ESS)Percorso Software and Systems for Industries (SSI)Percorso Software Modeling and Verification (SMV)

4 Percorsi Internazionali con Double Degree

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 37 / 45

Page 40: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18) Percorso Software Modeling and Verification (SMV)

Software Modeling and Verification (SMV)

ObbiettivoFormare progettisti e analisti di sistemi software in grado di gestireprogetti complessi su larga scala, che possono coinvolgere aspetticritici per la sicurezza

Competenze fornite:Paradigma di sviluppo: model-driven software engineering

Basi rigorose di supporto averifica e analisisviluppo corretto di sistemi critici

Sbocchi professionali:Industria: Progettazione, Ricerca e Sviluppo, Innovazione

Accademia: PhD in Italia e all’esteroPalazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 38 / 45

Page 41: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18) Percorso Software Modeling and Verification (SMV)

Software Modeling and Verification (SMV)

ObbiettivoFormare progettisti e analisti di sistemi software in grado di gestireprogetti complessi su larga scala, che possono coinvolgere aspetticritici per la sicurezza

Competenze fornite:Paradigma di sviluppo: model-driven software engineering

Basi rigorose di supporto averifica e analisisviluppo corretto di sistemi critici

Sbocchi professionali:Industria: Progettazione, Ricerca e Sviluppo, Innovazione

Accademia: PhD in Italia e all’esteroPalazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 38 / 45

Page 42: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18) Percorso Software Modeling and Verification (SMV)

Software Modeling and Verification (SMV)

ObbiettivoFormare progettisti e analisti di sistemi software in grado di gestireprogetti complessi su larga scala, che possono coinvolgere aspetticritici per la sicurezza

Competenze fornite:Paradigma di sviluppo: model-driven software engineering

Basi rigorose di supporto averifica e analisisviluppo corretto di sistemi critici

Sbocchi professionali:Industria: Progettazione, Ricerca e Sviluppo, Innovazione

Accademia: PhD in Italia e all’esteroPalazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 38 / 45

Page 43: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18) Percorso Software Modeling and Verification (SMV)

Software Modeling and Verification (SMV)

ObbiettivoFormare progettisti e analisti di sistemi software in grado di gestireprogetti complessi su larga scala, che possono coinvolgere aspetticritici per la sicurezza

1◦ anno - Esami IndirizzoComplex Systems Design 12 CFUDistributed Calculus and Coordination 12 CFUFormal Modeling of Software Intensive Systems 6 CFUReactive Systems Verification 6 CFU

2◦ Anno - Esami IndirizzoSoftware Project Management 12 CFU)Real-time and Probabilistic Systems Verification 6 CFUDomain Specific Formal Languages 6 CFU

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 39 / 45

Page 44: Presentazione corsi di Informatica UniCam

La Laurea Magistrale in Computer Science (LM18) Percorso Software Modeling and Verification (SMV)

SMV - Esami a scelta di indirizzo

Queuing Networks: Simulation 6 CFUBusiness Process Management and Flexibility 6 CFUKnowledge Engineering and Business Intelligence 6 CFUDistributed systems 6 CFUIT Security 6 CFUInternetworking Ubiquitous Systems 6 CFUFormal Languages and Compilers 6 CFU

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 40 / 45

Page 45: Presentazione corsi di Informatica UniCam

Percorsi Internazionali con Double Degree

ToC

1 La Sezione di Informatica di UNICAM

2 La Laurea Triennale in Informatica (L-31)

3 La Laurea Magistrale in Computer Science (LM18)Percorso Enterprise Software Systems (ESS)Percorso Software and Systems for Industries (SSI)Percorso Software Modeling and Verification (SMV)

4 Percorsi Internazionali con Double Degree

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 41 / 45

Page 46: Presentazione corsi di Informatica UniCam

Percorsi Internazionali con Double Degree

Double Degree o Doppi Titoli

Accordi Bilaterali tra UNICAM e Università Partner (UP) in Europae nel MondoAlcuni studenti selezionati effettuano una mobilità presso la UPper esami e/o tesiAl termine del percorso lo studente ottiene:

il titolo italiano da UNICAMe ancheil titolo straniero dalla UP

Tesi o progetti co-supervisionati:

Collaborazioni su progetti UECollaborazioni con Aziende UE e InternazionaliRete internazionale per partenariato progetti UE o Internazionali

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 42 / 45

Page 47: Presentazione corsi di Informatica UniCam

Percorsi Internazionali con Double Degree

Laurea Magistrale in Computer Science UNICAM

Reykjavik University (Islanda)MSc in Computer Science, Spec. in Game Developmentdal 2008

University of Applied Sciences and Arts Northwestern Switzerland(Svizzera)

MSc in Business Information Systemsdal 2009

Universidad Nacional De Catamarca (Argentina)Título de Grado en Ingeniería Informáticadal 2011

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 43 / 45

Page 48: Presentazione corsi di Informatica UniCam

Percorsi Internazionali con Double Degree

Laurea in Informatica UNICAM

Middlesex University London (UK)BSc Hons Computer Networksdal 2013

Hanoi University (Vietnam)BSc in Information Technologydal 2014

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 44 / 45

Page 49: Presentazione corsi di Informatica UniCam

Percorsi Internazionali con Double Degree

[email protected]

Palazzo Ducale – Camerino Presentazione CS@UNICAM 30 Settembre 2015 45 / 45