

Software Safety and Security
The course covers fundamental program analysis techniques based on types and logics to identify illicit behavior, verify its absence, and explore tools that implement these techniques.
Stockholm, Sweden
La più importante università tecnica della Svezia, alla guida dello sviluppo sostenibile della società.
Esplora i nostri corsi
Il KTH Royal Institute of Technology è una delle principali università tecniche d'Europa e unisce eccellenza accademica e innovazione. La sua missione si fonda su sostenibilità, uguaglianza e collaborazione internazionale per affrontare le sfide globali.
L'approccio del KTH a cybersecurity e competenze digitali unisce rigorosa teoria informatica e apprendimento pratico basato su progetti, preparando i professionisti a proteggere infrastrutture sociali complesse con programmi MSc in Cybersecurity altamente specializzati e multidisciplinari.
Didattica e ricerca di livello mondiale in ingegneria, tecnologie digitali, sostenibilità e innovazione.
Unire rigore accademico, applicazione pratica e stretta collaborazione con l'industria per sviluppare pensiero critico e apprendimento continuo.
Sviluppare competenze, conoscenze e prospettive che consentono apprendimento continuo e successo in un mondo in rapido cambiamento.