Alessandro Chiesa
+41 21 693 90 98
Office:
BC 245
EPFL › IC › IC-SSC › SSC-ENS
Site web: https://ssc.epfl.ch
+41 21 693 90 98
Office:
BC 245
EPFL › IC › IC-SIN › SIN-ENS
Site web: https://sin.epfl.ch
+41 21 693 90 98
Office:
BC 245
EPFL › VPA › VPA-AVP-DLE › AVP-DLE-EDOC › EDIC-ENS
Enseignement et PhD
Doctorant·es actuel·les
Zihan Hu, Zijing Di, Burcu Yildiz, Ziyi Guan, Guy Weissenberg, Giacomo Fenzi, Christian Knabenhans, Yuxi Zheng, Ignacio Manzur
Cours
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
Theory of computation
CS-251
This course constitutes an introduction to theory of computation. It discusses the basic theoretical models of computing (finite automata, Turing machine), as well as, provides a solid and mathematically precise understanding of their fundamental capabilities and limitations.