Algorithms I

CS-250

Les étudiants apprennent la théorie/pratique des concepts basiques et techn. d'algo. Le cours couvre l'induction math.,les techn. d'analyse d'algo.,les structures de données élémentaires,les paradigmes majeurs d'algo. tels que la program. dynamique,les tris de recherches et les algo. pr les graphes.

Foundations of probabilistic proofs

CS-459

Les systèmes de preuve probabilistes ont eu un impact considérable sur l'informatique théorique, ainsi que sur les systèmes sécurisés du monde réel. Ils sous-tendent les protocoles de délégation de calcul et la dureté de l'approximation.

Lattice-based Cryptography

CS-800