tiistai 1.6.2021 12:00 – torstai 31.8.2028 12:00

• 14.1 Johdanto tekoälyyn ja formaaleihin menetelmiin kyberturvallisuudessa
• 14.2 Formaalit menetelmät
• 14.3 Tekoäly ja kyberturvallisuus
• 14.4 AI:n ja Formaalien menetelmien yhteenvetokysymykset