Lectures related to Theoretical computer science

Covers functions in C programming, emphasizing reusability and error reduction through proper function structure.

Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.

Covers the fundamentals of quantum computing, including qubit realization, scalable quantum computers, quantum communication, and quantum algorithms.

Covers the basics of C++ standard library containers, algorithms, and iterators.

Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.

Covers type reading in C, focusing on pointers, functions, and the use of typedefs for clarity.