Les prérequis correspondent aux compétences acquises dans un M1 de mathématiques orienté informatique théorique comportant une introduction à la logique, la théorie de la calculabilité et la complexité, ou un M1 d'informatique comportant des options de mathématiques, notamment d'algèbre et arithmétique (ou niveau équivalent : par exemple dans une école d'ingénieur), une maîtrise des notions fondamentales de mathématiques générales (algèbre, analyse, géométrie) et d'informatique (architecture des ordinateurs, éléments de programmation).