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
Formation
2014 – 2014 MIT
2010 – 2010 MIT
2009 – 2009 MIT
2009 – 2009 MIT
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.