Frequentare

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 SEMESTREDocente: nome e cognomeEventuale link già previsto con la descrizione della AFCTipo di attività, breve descrizioneOre in aula previsteOre in laboratorio previsteAltre comunicazioni 
GamificationLabFrancesco Lutrariohttps://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 applicativo2020Edificio: RM103
Aula E
venerdì dalle 11:00 alle 13:00
AI for Design and Verification of Safety/Mission Critical Intelligent SystemsToni Mancini, Enrico troncihttp://tmancini.di.uniroma1.it/index.php?page=teaching.afcIntelligent 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.
00Activities 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.

 

Orario delle lezioni

Quale curriculum scegli?

Primo anno (Iscrizione di riferimento A.A. 2022/2023)

Insegnamento Codice Semestre CFU SSD Lingua
BIOMETRIC SYSTEMS 1041792 Primo semestre 6 INF/01 Inglese
MACHINE LEARNING 1047635 Primo semestre 6 INF/01 Inglese
DISTRIBUTED SYSTEMS 1047624 Primo semestre 6 INF/01 Inglese
FOUNDATIONS OF DATA SCIENCE 1047627 Primo semestre 6 INF/01 Inglese
AUTONOMOUS NETWORKING 10596281 Primo semestre 6 INF/01 Inglese
CRYPTOGRAPHY 1047622 Primo semestre 6 INF/01 Inglese
METHODS IN COMPUTER SCIENCE EDUCATION: DESIGN 10589558 Primo semestre 6 INF/01 Inglese
MODELS OF COMPUTATION 1047638 Primo semestre 6 INF/01 Inglese
SECURITY IN SOFTWARE APPLICATIONS 1047642 Primo semestre 6 INF/01 Inglese
HUMAN COMPUTER INTERACTION ON THE WEB 1047630 Secondo semestre 6 INF/01 Inglese
NATURAL LANGUAGE PROCESSING 1038141 Secondo semestre 6 INF/01 Inglese
DEEP LEARNING AND APPLIED ARTIFICIAL INTELLIGENCE 10593236 Secondo semestre 6 INF/01 Inglese
ADVANCED SOFTWARE ENGINEERING 1047614 Secondo semestre 6 INF/01 Inglese
BIG DATA COMPUTING 1041764 Secondo semestre 6 INF/01 Inglese
COMPUTER NETWORK PERFORMANCE 1047617 Secondo semestre 6 INF/01 Inglese
INTERNET OF THINGS 1047634 Secondo semestre 6 INF/01 Inglese
FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING 10607006 Secondo semestre 6 INF/01 Inglese
ADVANCED ALGORITHMS 1047613 Secondo semestre 6 INF/01 Inglese
CLOUD COMPUTING 1047205 Secondo semestre 6 INF/01 Inglese
MATHEMATICAL LOGIC FOR COMPUTER SCIENCE 1047636 Secondo semestre 6 INF/01 Inglese
METHODS IN COMPUTER SCIENCE EDUCATION: ANALYSIS 10589557 Secondo semestre 6 INF/01 Inglese
PRACTICAL NETWORK DEFENSE 10589555 Secondo semestre 6 INF/01 Inglese
A SCELTA DELLO STUDENTE Secondo semestre 6 Italiano

Secondo anno (Iscrizione di riferimento A.A. 2021/2022)

Insegnamento Codice Semestre CFU SSD Lingua
ADVANCED MACHINE LEARNING 10589621 Primo semestre 6 INF/01 Inglese
COMPUTER VISION 1047618 Primo semestre 6 INF/01 Inglese
FUNDAMENTALS OF COMPUTER GRAPHICS 1047628 Primo semestre 6 INF/01 Inglese
COMPUTATIONAL COMPLEXITY 1047616 Primo semestre 6 INF/01 Inglese
NETWORK ALGORITHMS 1047640 Primo semestre 6 INF/01 Inglese
AUTOMATIC VERIFICATION OF INTELLIGENT SYSTEMS 10600495 Primo semestre 6 INF/01 Inglese
BLOCKCHAIN AND DISTRIBUTED LEDGER TECHNOLOGIES 10600490 Primo semestre 6 INF/01 Inglese
A SCELTA DELLO STUDENTE Primo semestre 6 Italiano
ATTIVITA' FORMATIVA COMPLEMENTARE AAF1246 Primo semestre 6 Italiano
MULTIMODAL INTERACTION 1047639 Secondo semestre 6 INF/01 Inglese
CONCURRENT SYSTEMS 1047619 Secondo semestre 6 INF/01 Inglese
ADVANCED ALGORITHMS 1047613 Secondo semestre 6 INF/01 Inglese
ADVANCED SOFTWARE ENGINEERING 1047614 Secondo semestre 6 INF/01 Inglese
DATA AND NETWORK SECURITY 1047623 Secondo semestre 6 INF/01 Inglese
GRAPH THEORY 1047629 Secondo semestre 6 INF/01 Inglese
INFORMATION SYSTEMS 1047631 Secondo semestre 6 SECS-P/07 Inglese
INTENSIVE COMPUTATION 1047633 Secondo semestre 6 INF/01 Inglese
TOPICS IN PHYSICS 1047643 Secondo semestre 6 FIS/01 Inglese
PROVA FINALE AAF1034 Secondo semestre 36 Italiano

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

sessione straordinaria

 

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-mailmastercs_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...

Tutte le informazioni relative alla Prova finale sono contenute nel box Laurearsi