This is an old revision of the document!
TODO - copy to: http://didattica.cs.unicam.it/doku.php?id=didattica:annonuovo:choiceexams:main
Choice exams
In this page you can find information and forms to express your selection with respect to the exams marked as FREE CHOICE (“esame a scelta”) in the study plan. Forms are different if you are enrolled in the bachelor degree (laurea triennale) or in the MSc (laurea magistrale).
Laurea in Informatica
La laurea triennale in informatica permette agli studenti di personalizzare il proprio piano di studi selezionando:
- 12 Crediti liberi di qualsiasi genere;
- 12 Crediti in Esami a Scelta del Settore Informatica;
- 6 Crediti in Esami a Scelta del Settore Matematica.
Al fine di esprimere le proprie preferenze gli studenti devono compilare il modulo sottostante e consegnarlo prima della fine del semestre al Prof. Rosario Culmone.
Scelta Esami - Modulo per la selezione degli esami liberi. TODO
Settore Informatica
- Distributed Systems (6 CFU)
- Formal Languages and Compilers (6 CFU)
- Reactive Systems Verification
- Queuing Networks: Modeling
- Queuing Networks: Simulation
- Mobile Programming
- Neural Networks (6CFU)
- Theory of Complexity
Settore Matematica
- Calcolo delle Probabilità e Statistica
- Analisi Numerica
- Ricerca Operativa
- Neural Networks (6CFU)
MSc in Computer Science
TODO: to be updated with respect to https://docs.google.com/document/d/1bgddhzwo_95VoLq4nfnuG9CI7_eC7Fc31xduNpYtlaE/edit
During the Master course, students must achieve 24 Free Choice CFU in total, divided in:
- 12 in Free Choice exams of any kind;
- 6 in Free Choice exams belonging to the generic Computer Science group;
- 6 in Free Choice exams belonging to the chosen Master Course Programme group (SMV, ESS or SSI).
TODO: update forms!!
- Standard Form - Module for selecting exams according to the standard study plan
- Personalised Form - Module for selections that require the definition of a personalised study plan
Programmes Groups
SMV Group
- Queueing Networks: Simulation
- Distributed Systems
- IT Security
- Business Process Management and Flexibility
- Knowledge Engineering and Business Intelligence
- Internetworking Ubiquitous Systems
- Formal Languages and Compilers
ESS Group
- Queueing Networks: Simulation
- Reactive Systems Verification
- Knowledge Management and Competence Development
- Formal Modeling of Software Intensive Systems
- Distributed Systems
- IT Security
SSI Group
- Queueing Networks: Simulation
- Networking Discovery (Cisco 3-4)
- Reactive Systems Verification
- Distributed Calculus and Coordination - Module 1
- Formal Modeling of Software Intensive Systems
- Formal Languages and Compilers
Generic Computer Science Group
- Theory of Complexity
- Queueing Networks: Modeling
- Financial Management and Strategy
- Software Engineering 2 - Software Testing
- Networking Fundamentals (Cisco 1-2)
In case student's preferences does not permit to derive a study plan respecting one of the schema above, please contact Prof. Andrea Polini to discuss the issue.