Dal prossimo 30 giugno al 4 luglio, una quarantina di esperti e studenti informatici si riuniranno a Lugano per una Summer School internazionale sul tema dei sistemi informatici affidabili e sicuri (Dependable Computer Systems), organizzata dalla Facoltà di Scienze informatiche dell’USI in collaborazione con la Carnegie Mellon University di Pittsburgh, USA.

I partecipanti – studenti, ricercatori e professionisti provenienti da università e aziende di undici nazioni diverse e da quattro continenti – acquisiranno importanti nozioni teoriche e pratiche su tutti gli aspetti della costruzione di sistemi informatici affidabili: dal design all’analisi, dalla verifica alla vera e propria implementazione.

Le possibili applicazioni di queste nozioni sono infinite: dai sistemi di gestione dati di una grande istituzione, come una banca, una compagnia aerea, un governo, alle grosse capacità di calcolo utilizzate dagli scienziati per determinare la mappa del genoma umano, fino alle reti di telecomunicazione, Internet, Internet di seconda generazione e world wide web. Questi esempi di sistemi informatici affidabili e sicuri sono solo alcuni di quelli che presto si diffonderanno in modo capillare nella società dell’informazione.