Videos

Manim is a tool used to programmatically create precise and high-quality animations. Based (almost) entirely on Python, manim evolved from being a powerful visualization engine [...]

Have you ever wondered how mathematicians "understand"? In a 1932 lecture, Hermann Weyl identified two key modes of mathematical reasoning: topology and abstract algebra. These, [...]

Quantum information theory has several puzzling properties. In particular, it predicts that information carried by quantum objects is incompatible with the use of the logical [...]

Anonymity networks play a crucial role in preserving privacy on the Internet by masking users' identities and guaranteeing the confidentiality of communications. In this talk, [...]

This tutorial delves into the intricacies of Beamer, a powerful LaTeX document class designed for crafting presentations. We will explore basic and advanced features and [...]

Traditional machine learning systems were designed in a centralized man-ner. In such designs, the central entity maintains both the machine learningmodel and the data used [...]

Quirk (https://algassert.com/quirk) is a drag-and-drop quantum circuit simulator that is easy to use and very interesting to understand how quantum computers works. In this session, [...]

The one-time pad is an encryption technique that is proven to be unbreakable by an eavesdropper. It relies on a single-use secret key shared between [...]

D3.js is a JavaScript library that facilitates the creation and animation of HTML and SVG content representing a (possibly dynamic) data structure. While clearly more [...]

Tamarin Prover is an open source model checker for proving and verifying security protocols in the Dolev-Yao symbolic model, initially developed at the Information Security [...]