Lectures related to Termination analysis

Kernel Integrity and Real-Time Systems

Explores kernel integrity, system security, and real-time system verification, emphasizing the importance of proving critical properties for building secure and timely systems.

Termination Analysis using Dependency Pairs

Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.

Verifying Programs with Stainless: Part 2

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

Propositions as Types: Logic and Programming Correspondence

Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.

Chain Polymerisation: Mechanism and Kinetics

Explores the mechanism and kinetics of chain polymerisation, focusing on inhibitors and competitive inhibition in enzyme reactions.