Descriptional Complexity of Formal Systems - (from 22/01/2019 to 08/02/2019)

Length : 15 hours - 3 cfu


Abstract 

Descriptional complexity is an area of computer science that studies and compares formal systems with respect to the succinctness of their descriptions.

Some fundamental results in this field will be presented, by mainly considering regular languages and finite automata (in the deterministic, nondeterministic, one-way, two-way variants).

Some descriptional complexity questions and results related to other classes of languages and machines will be also presented.

Requirements: Basic knowledge in automata and formal language theory.

 

 

Giorni Aula Orario
22/01/2019 Meeting Room 3rd floor - Via Celoria 18 - 20133 Milano 09:30-12:30
24/01/2019 Meeting Room 3rd floor - Via Celoria 18 - 20133 Milano
09:30-12:30
05/02/2019 Meeting Room 3rd floor - Via Celoria 18 - 20133 Milano 09:30-12:30
07/02/2019 Meeting Room 3rd floor - Via Celoria 18 - 20133 Milano 09:30-12:30
08/02/2019 Meeting Room 3rd floor - Via Celoria 18 - 20133 Milano 09:30-12:30

 

Lecturer

Prof. Giovanni Pighizzini

Assessor

Prof. Giovanni Pighizzini

Practical Approaches to Cloud Assurance and Security - (from 20/11/2018 to 23/11/2018)

Length : 10 hours - 2 cfu


Abstract 

Cloud computing is changing the design, development, and provisioning of software and corresponding IT infrastructures.

Although cloud is clearly becoming a mainstream solution, there are still important obstacles on the cloud adoption path.

Among them, assurance challenges stand out, and introduce the need of re-thinking existing assurance approaches to support the evaluation of non-functional (security) properties of cloud-based systems.

Proper management of assurance requirements in fact can boost cloud adoption by

i) increasing cloud trustworthiness and the confidence of the users in cloud technologies, and

ii) fostering a proper balancing between costs, performance, and quality of service.

The course "Practical Approaches to Cloud Assurance and Security" will provide an overview of the main approaches to cloud assurance and security, discussing their peculiarities, pros and cons, and identifying the gaps that need to be filled towards a trustworthy cloud.

 

Dates & Venue

Giorni Aula Orario
 20/11/2018  3 floor Meeting Room - Via Celoria 18 - Milano

14:00 - 18:00

23/11/2018 3 floor Meeting Room - Via Celoria 18 - Milano

10:00 - 13:00 

14:00 - 17:00

 

Lecturer

Prof. Claudio Agostino Ardagna - Prof. Ernesto Damiani - Dr. Marco Anisetti

Assessor

Prof. Claudio Agostino Ardagna

Page 2 of 2