Stockholm, Sweden
Sweden's most prominent technical university leading sustainable societal development.
Explore Our Courses
KTH Royal Institute of Technology is one of Europe's leading technical universities, combining academic excellence with innovation. Its mission is built on sustainability, equality, and international collaboration to address global challenges.
KTH's approach to cybersecurity and digital skills blends rigorous computer science theory with hands-on, project-based learning. It prepares professionals to protect complex societal infrastructures through highly specialized, multidisciplinary MSc Cybersecurity programs.
World-class education and research in engineering, digital technologies, sustainability, and innovation.
Combining academic rigor, practical application, and close industry collaboration to develop critical thinking and lifelong learning.
Developing skills, knowledge, and perspectives that enable lifelong learning and success in a rapidly changing world.
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. Course will start when the number of participants is sufficient.
