Lectures related to Data Abstraction: Modules and Specifications in Coq

Introduction to Compiler Theory and Language Processing

Introduces compiler theory, language processing, and the essential concepts behind building compilers.

Introduction to Programming: First Steps

Covers the basics of programming, including the development cycle of a program, strong typing, data storage in Java variables, and primitive data types.

Logic Programming Techniques: Automated Proof Search and Unification

Covers logic programming concepts, focusing on automated proof search and unification techniques in Coq.

Python Programming: Lists and Functions Overview

Introduces Python programming concepts, focusing on lists, functions, and their applications in problem-solving.

Verified Functional Programming: Nicolas Voirol public PhD thesis defense

Explores verified functional programming, formal verification, SMT solvers, type checking, Scala features, automation, and dependent types.

Programming basics: introduction and algorithms

Introduces programming basics, covering Unix systems, Firefox, algorithms, and data structures.