Your next course will be:

Cryptography, Verification and Multi-Agent Verification

made by Malvin Gattinger