Frequentare
- Frequentare
- Orario delle lezioni
- Calendario delle sessioni d'esame
- Compilazione del percorso formativo
- Percorsi di Eccellenza
- Prova finale
Avviso per le AFC: Le attività formative completentare sono queste, il prof. Mei verbalizza le idoneità ad attività finita. Il docente avvisa il prof. Mei.
Titolo AFC LM-18 22-23 I SEMESTRE | Docente: nome e cognome | Eventuale link già previsto con la descrizione della AFC | Tipo di attività, breve descrizione | Ore in aula previste | Ore in laboratorio previste | Altre comunicazioni |
GamificationLab | Francesco Lutrario | https://gamificationlab-preview.netlify.app/gamification-and-game-design/scenario/ https://gamificationlab-preview.netlify.app/gamification-and-game-design/didattica/programma/ | Corso in presenza più laboratorio di progettazione di un game/gamification design document e sviluppo di un prototipo applicativo | 20 | 20 | Edificio: RM103 Aula E venerdì dalle 11:00 alle 13:00 |
AI for Design and Verification of Safety/Mission Critical Intelligent Systems | Toni Mancini, Enrico tronci | http://tmancini.di.uniroma1.it/index.php?page=teaching.afc | Intelligent Systems (ISs) are systems with the capability to sense the environment and react to it to attain given goals. Often, intelligent systems have two main components: one focusing on learning the environment behaviour on the basis of the acquired measurements (typically based on data-driven Artificial Intelligence methods, namely Machine Learning) and another one focusing on planning the best course of actions given what has been learned so far (typically relying on model-based Artificial Intelligence approaches). Examples of intelligent systems are: software controlling autonomous vehicles (e.g., cars, drones, swarm of drones, satellites, vessels, robots, etc.); software controlling autonomous systems in general (e.g., bio-medical devices, trading-robots, automatic video compression, decision support systems, etc.). Intelligent systems are often mission-critical (i.e., their failure leads to a loss of money, e.g., a trading-robot, a satellite, a swarm of drones) or safety-critical (i.e., their failure may lead to a loss of human lives, e.g., bio-medical devices, autonomous driving). Designing and verifying intelligent systems is very challenging because of the wide set of operational scenarios (environment behaviours) they are supposed to withstand and the fact that the system behaviours change (through learning) as a function of the inputs received. We will see that design and verification of an intelligent system can be both cast as (quite large) optimisation problems can be solved using a suitable blend of Artificial Intelligence approaches, both model-based (e.g., knowledge representation and reasoning) and data-driven (Machine Learning, ML). The proposed activity has the following goals: 1. Learn how to use hybrid Artificial Intelligence techniques to automatically build an environment model from historical (sensor) data (statistics and ML) and background knowledge (model-based AI). Such a model will be used as an adversarial scenario generator to support design and verification of ISs. 2. Learn how to use hybrid AI techniques (both model-based and data-driven) to develop suitable Key Performance Indicators (KPIs) defining functional as well as non-functional requirements for ISs. 3. Learn how to use AI (both model-based and data-driven) and Statistical Model Checking techniques to support simulation-based design and verification of ISs. 4. Apply the above techniques to a specific domain, e.g.: Healthcare, Cyber-Physical Systems, Energy, Trading-Robots. | 0 | 0 | Activities will be carried out with individual students or small groups thereof under the supervision of Proff. Mancini and Tronci. |
Interazione multimodale
Il corso è ufficialmente chiuso. Ieri, 23 maggio, abbiamo tenuto l'ultima lezione. D'ora in poi gli incontri con gli studenti avverranno su appuntamento, di persona (meglio) o tramite riunione. Da oggi in poi, il materiale del corso includerà anche il link alle registrazioni delle ultime edizioni.
A study programme can have more curricula to choose from. Students choose their curriculum when they draft their learning path on Infostud.
Each academic programme has its own deadlines for the drafting of learning paths.
For information about the contents of each curricula developed for your study programme, please check the Study Plan box.
At the end of your university studies, Sapienza provides a certificate containing the main information about the student’s curriculum, in addition to the degree.
Orario delle lezioni
Primo anno (Iscrizione di riferimento A.A. 2022/2023)
Insegnamento | Codice | Semestre | CFU | SSD | Lingua |
---|---|---|---|---|---|
BIOMETRIC SYSTEMS | 1041792 | Primo semestre | 6 | INF/01 |
![]() |
MACHINE LEARNING | 1047635 | Primo semestre | 6 | INF/01 |
![]() |
DISTRIBUTED SYSTEMS | 1047624 | Primo semestre | 6 | INF/01 |
![]() |
FOUNDATIONS OF DATA SCIENCE | 1047627 | Primo semestre | 6 | INF/01 |
![]() |
AUTONOMOUS NETWORKING | 10596281 | Primo semestre | 6 | INF/01 |
![]() |
CRYPTOGRAPHY | 1047622 | Primo semestre | 6 | INF/01 |
![]() |
METHODS IN COMPUTER SCIENCE EDUCATION: DESIGN | 10589558 | Primo semestre | 6 | INF/01 |
![]() |
MODELS OF COMPUTATION | 1047638 | Primo semestre | 6 | INF/01 |
![]() |
SECURITY IN SOFTWARE APPLICATIONS | 1047642 | Primo semestre | 6 | INF/01 |
![]() |
HUMAN COMPUTER INTERACTION ON THE WEB | 1047630 | Secondo semestre | 6 | INF/01 |
![]() |
NATURAL LANGUAGE PROCESSING | 1038141 | Secondo semestre | 6 | INF/01 |
![]() |
DEEP LEARNING AND APPLIED ARTIFICIAL INTELLIGENCE | 10593236 | Secondo semestre | 6 | INF/01 |
![]() |
ADVANCED SOFTWARE ENGINEERING | 1047614 | Secondo semestre | 6 | INF/01 |
![]() |
BIG DATA COMPUTING | 1041764 | Secondo semestre | 6 | INF/01 |
![]() |
COMPUTER NETWORK PERFORMANCE | 1047617 | Secondo semestre | 6 | INF/01 |
![]() |
INTERNET OF THINGS | 1047634 | Secondo semestre | 6 | INF/01 |
![]() |
FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING | 10607006 | Secondo semestre | 6 | INF/01 |
![]() |
ADVANCED ALGORITHMS | 1047613 | Secondo semestre | 6 | INF/01 |
![]() |
CLOUD COMPUTING | 1047205 | Secondo semestre | 6 | INF/01 |
![]() |
MATHEMATICAL LOGIC FOR COMPUTER SCIENCE | 1047636 | Secondo semestre | 6 | INF/01 |
![]() |
METHODS IN COMPUTER SCIENCE EDUCATION: ANALYSIS | 10589557 | Secondo semestre | 6 | INF/01 |
![]() |
PRACTICAL NETWORK DEFENSE | 10589555 | Secondo semestre | 6 | INF/01 |
![]() |
A SCELTA DELLO STUDENTE | Secondo semestre | 6 |
![]() |
Secondo anno (Iscrizione di riferimento A.A. 2021/2022)
Insegnamento | Codice | Semestre | CFU | SSD | Lingua |
---|---|---|---|---|---|
ADVANCED MACHINE LEARNING | 10589621 | Primo semestre | 6 | INF/01 |
![]() |
COMPUTER VISION | 1047618 | Primo semestre | 6 | INF/01 |
![]() |
FUNDAMENTALS OF COMPUTER GRAPHICS | 1047628 | Primo semestre | 6 | INF/01 |
![]() |
COMPUTATIONAL COMPLEXITY | 1047616 | Primo semestre | 6 | INF/01 |
![]() |
NETWORK ALGORITHMS | 1047640 | Primo semestre | 6 | INF/01 |
![]() |
AUTOMATIC VERIFICATION OF INTELLIGENT SYSTEMS | 10600495 | Primo semestre | 6 | INF/01 |
![]() |
BLOCKCHAIN AND DISTRIBUTED LEDGER TECHNOLOGIES | 10600490 | Primo semestre | 6 | INF/01 |
![]() |
A SCELTA DELLO STUDENTE | Primo semestre | 6 |
![]() |
||
ATTIVITA' FORMATIVA COMPLEMENTARE | AAF1246 | Primo semestre | 6 |
![]() |
|
MULTIMODAL INTERACTION | 1047639 | Secondo semestre | 6 | INF/01 |
![]() |
CONCURRENT SYSTEMS | 1047619 | Secondo semestre | 6 | INF/01 |
![]() |
ADVANCED ALGORITHMS | 1047613 | Secondo semestre | 6 | INF/01 |
![]() |
ADVANCED SOFTWARE ENGINEERING | 1047614 | Secondo semestre | 6 | INF/01 |
![]() |
DATA AND NETWORK SECURITY | 1047623 | Secondo semestre | 6 | INF/01 |
![]() |
GRAPH THEORY | 1047629 | Secondo semestre | 6 | INF/01 |
![]() |
INFORMATION SYSTEMS | 1047631 | Secondo semestre | 6 | SECS-P/07 |
![]() |
INTENSIVE COMPUTATION | 1047633 | Secondo semestre | 6 | INF/01 |
![]() |
TOPICS IN PHYSICS | 1047643 | Secondo semestre | 6 | FIS/01 |
![]() |
PROVA FINALE | AAF1034 | Secondo semestre | 36 |
![]() |
I corsi salvo diverso avviso dei singoli docenti inizieranno da lunedi 20 febbraio 2023
Link: https://corsidilaurea.uniroma1.it/cdlcontroller-orari-cdl/2022/29932
Interazione multimodale
Il corso è ufficialmente chiuso. Ieri, 23 maggio, abbiamo tenuto l'ultima lezione. D'ora in poi gli incontri con gli studenti avverranno su appuntamento, di persona (meglio) o tramite riunione. Da oggi in poi, il materiale del corso includerà anche il link alle registrazioni delle ultime edizioni.
29932- Computer Science - Informatica LM-18 anno accademico 2022/2023
Link calendario:
https://docs.google.com/spreadsheets/d/1-M50gMaxGf8RBk0iCHqzv-i9JjRXHO_Y2xGHSykgXVY/edit?usp=sharing
Sessione straordinaria esami
I straordinaria (§) Lunedì 13 marzo 2023 Venerdì 14 aprile 2023
(§) Riservata a studenti part-time, fuori corso nell’A.A. 2022-2023, studenti genitori, studenti lavoratori, studenti con disabilità e con D.S.A.
Per studenti lavoratori:
https://www.uniroma1.it/it/notizia/appelli-straordinari-aperti-anche-agli-studenti-lavoratori
Il modulo sarà chiuso il giorno 1 marzo 2023 alle ore 23:59 dopo tale data gli studenti si potranno rivolgere solo ai singoli docenti.
APPELLI STRAORDINARI
Per ogni insegnamento sono previsti due appelli.
- Un appello ottobre/novembre
- Un appello marzo/aprile
- Vedere calendario didattico di Facoltà per il periodo di esami:
https://web.uniroma1.it/i3s/node/7334
La procedura per accedere agli appelli di ottobre/novembre e marzo/aprile è la seguente:
Gli studenti che devono sostenere esami nelle sessioni straordinarie, devono richiedere di partecipare compilando il
Modulo per richiedere di partecipare alla
la scadenza verrà esplicitata sul modulo.
MASTER PROGRAMME STUDY PLANS
Students of the Master Programme in Computer Science are required to have a study plan (“percorso formativo”) in force in order to book and take exams.
WHAT IS A STUDY PLAN?
A study plan completely defines the set of courses that a student plans to attend and to clear during their first and second year.
Without an approved study plan, students cannot book or take any exam.
Hence, students of the Master Programme in Computer Science are requested to submit for approval their own study plans at the beginning of their first year.
A study plan already in force can be revised by submitting for approval a new plan which includes all courses already cleared.
WHEN A STUDY PLAN CAN BE SUBMITTED OR REVISED?
Students can submit their study plans at most once per year, during the following time window:
from December 1 to December 31 of each year.
Study plans still pending evaluation cannot be changed. For this reason, we warmly recommend students to pay great attention when submitting their study plans, and to do so only when they have clear ideas about which courses to attend (at very least in their next year).
HOW A STUDY PLAN IS SUBMITTED?
Study plans must be submitted using the online study plan submission system called “Percorsi Formativi” reachable from within Infostud.
WHEN AND HOW IS A STUDY PLAN EVALUATED AND APPROVED?
The study plan submission system prevents the submission of most (but not all) study plans violating the rules.
Plans successfully submitted via the system are evaluated and approved either automatically (in real time) or manually by the study plan evaluation committee.
Automatically approved study plans
Study plans which satisfy all the rules, envision a proper balance of the number of exams to be cleared in the first and second year, and contain only courses offered within the Master Programme in Computer Science will be approved automatically by the system in real time. The system will immediately inform such students that their plan has been automatically approved.
Note, however, that although approved immediately, such study plans will come into force as explained below.
Study plans needing manual intervention of the evaluation committee
These are "custom plans" (percorsi individuali), plans envisioning a not even allocation of the courses between the two years, and those plans envisioning courses from other Sapienza programmes in section "Group D".
Study plans not approved automatically by the system need to be evaluated and (possibly) approved manually by the evaluation committee.
Evaluation of those plans will be done each year, immediately after the submission deadline expires and before the beginning of the exam session.
More in details, for those plans the committee needs to perform additional checks on the student curriculum to ensure their feasibility and to avoid abnormal situations. The most common issues experienced when evaluating such plans are as follows:
- A too high number of courses (more than 2/3) would have to be cleared in a single year
- Multiple courses on the same area are selected, which however have substantially overlapping programmes
- The plan includes courses from other Sapienza programmes (in section "Group D - Insegnamenti a scelta dello studente" of the form) which suffer from one or more of the following problems:
- they are from a B.Sc. programme in computer science or computer engineering which are too similar to other courses in their plan, or to courses that the student already took during their B.Sc.;
- they cover an area very far from computer science, with poor motivation (but students should feel free to include advanced courses in other STEM disciplines);
- although related to computer science, they are devoted to non-computer scientists, and are too basic for master students in computer science.
To avoid any risk of seeing their plan rejected after having invested time in attending lectures, we suggest students to follow our recommendations below.
WHEN DOES AN APPROVED STUDY PLAN COME INTO FORCE?
Study plans come into force from the academic year in which they have been submitted and will be in force until a new replacement study plan is submitted and approved.
Please, note that although academic years start in September, their first exam session starts on January of following year. This means that any exam session held from September to December belongs to the previous academic year and can be used by students only to clear exams of courses that belong to their study plans already approved in the previous academic year.
WHAT HAPPENS IF A STUDY PLAN IS REJECTED?
In case a study plan is rejected, the student will be immediately contacted by a member of the evaluation committee in order to give recommendations, fix the problems, and find an agreement on a new study plan, which will be submitted by the committee and approved.
HOW DO STUDY PLANS AFFECT THE POSSIBILITY TO BOOK OR CLEAR EXAMS?
The Infostud system forbids students to book and clear an exam which is not included in their study plan currently in force.
The consequence of the above rule is that students who have no study plan in force (because they never submitted one for approval) cannot book or take any exam.
HOW WOULD I KNOW THAT I'LL SUCCEED TO INCLUDE IN MY STUDY PLAN THE COURSES I ATTENDED DURING MY FIRST SEMESTER?
Students submitting their study plan for the first time (that is, first-year students) should know that they'll be able to include all courses of our master programme scheduled in the first semester of the first year.
Thus, we recommend first-year students to relax, attend the lectures of the courses they are more interested in, and take their time to make their final selection at the end of the semester.
The only problem students might experience with including courses scheduled in the first semester of their first year is with courses chosen from other Sapienza programmes (and included in Group D of their plans). The suitability of such courses must be manually evaluated by the committee to avoid the issues listed above.
To avoid any risk, we thus recommend students to allocate these courses in the second semester of their first year or in their second year. By doing so, they will have their plan approved before attending lectures of (and investing time on) such courses.
We also recommend students, before submitting their first study plan, to take screenshots of the system pages listing all the available options (that is, of all the empty study plan templates available to them). Such options will remain stable for them throughout the years. In this way, they'll always have a full picture (with the exception of courses from other programmes) of how they could rearrange the courses they already cleared to enable changes to their plan (even by switching to a custom plan, if needed), should they change their mind in the future. Students should feel free to contact the committee for an informal opinion about their envisioned changes, by sending them filled-in drafts of one of such templates as a PDF file.
ARE THERE EXCEPTIONS TO THE ABOVE RULES?
Yes, but only for students falling in at least one the following categories.
Exception 1. Students who, for whatever reason, have the right to enrol in the Master Programme after December 31, may ask assistance to the study plans evaluation committee in order to submit their first study plan by the following March 31. The committee will evaluate and approve such plans within 15 days. Such plans will come immediately into force.
Exception 2. Students who are going to spend time abroad according to the Erasmus programme may ask assistance to the study plans evaluation committee for immediate changes to their study plan, should they find serious administration problems at the hosting institution.
Exception 3. Students who cannot attend courses as envisioned in their study plans due to overlapping lectures or to unexpected changes to their timetable may ask assistance to the study plans evaluation committee for immediate changes aimed at resolving such conflicts.
WHOM COULD ADDITIONAL QUESTIONS BE DIRECTED TO?
The study plans evaluation committee can be contacted via email(link sends e-mail: mastercs_studyplans@di.uniroma1.it). The committee kindly invites students to avoid asking questions whose answer is already in the text above.
Received messages will be processed on a first-in first-out (FIFO) basis based on the name of the sender. The committee will do their best to answer within a week.
The adopted FIFO policy means that any student can have at most one open email thread with the committee, and any new message received when a previous one from the same sender is still pending reply will be considered as a revision of the question, and make the sender lose their priority.
Activation of an honours programme is provided for Information Technology Bachelor's and Master's Degree courses.
The honours programme provides additional training activities to those given by the regular courses.
At the moment of their graduation, students who completed an honours programme will receive a certificate for their work. The certificate is issued by the Dean of the relevant Faculty with the same modalities provided for other certifications and it will be registered on the student's study path.
In addition, the University also grants a reward of the same amount of University taxes paid in the last year of course.
Access requirements and modalities for implementation of activities are specified in Honours Programme Regulations.
https://docs.google.com/document/d/1CLcP_loMCc5Zn5SV6vG2gkFhBUZKH6fOyrIj...