Personne
Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.
Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.
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.
Veuillez noter qu'il ne s'agit pas d'une liste complète des publications de cette personne. Elle inclut uniquement les travaux sémantiquement pertinents. Pour une liste complète, veuillez consulter Infoscience.