Lectures related to Eve | EPFL Graph Search

Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.

Covers dimension theorems for linear transformations, bijectivity, isomorphism, dual spaces, and canonical applications.

Covers QKD, Dense Coding, and Teleportation, explaining attacks, basis choices, and security tests.

Covers neuroimaging techniques, brain structure, MRI basics, and big data in brain research.