Untitled

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

Property-Based Testing: Advanced Techniques

Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.

Software Testing: Avoiding and Fixing Bugs

Emphasizes the critical role of software testing in preventing and resolving bugs during development.

Foundations of Scala: Modelling and Type Systems

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

Dependent Types in Programming Languages

Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.

Coq Workshop: Introduction to Interactive Theorem Proving

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

Gitlab Agent for Kubernetes (`agentk`)

Covers the setup of a Gitlab agent for Kubernetes, focusing on installation, version control, and troubleshooting.

Verifying Programs with Stainless: How Stainless Works

Explores the inner workings of the Stainless framework, emphasizing verification-aware transformations and dependent type checking.

Distributed Version Control with Git

Explores Git's distributed version control, covering conflict resolution, collaboration management, and merging in software projects.

Designing Learning Experiences: CS411 Class Project

Introduces the CS411 Class Project, where students design and test a lesson using learning theories.

Untitled Log in to Mediaspace to watch this video

Introduction to Coq: Arithmetic Expressions and Evaluators Log in to Mediaspace to watch this video

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

Untitled Log in to Mediaspace to watch this video

Logic Programming Techniques: Automated Proof Search and Unification Log in to Mediaspace to watch this video

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

Introduction to Proof Scripting: Basics of Ltac Log in to Mediaspace to watch this video

Introduces the basics of proof scripting in Coq, focusing on the Ltac language and its tactics for managing proofs effectively.

Property-Based Testing: Advanced Techniques and Applications Log in to Mediaspace to watch this video

Explores advanced software testing techniques, including property-based testing and various forms of fuzzing, to effectively test complex systems.

Untitled Log in to Mediaspace to watch this video

Distributed Version Control with Git Log in to Mediaspace to watch this video

Explores Git's distributed version control features, focusing on conflict resolution and collaboration management.

Untitled Log in to Mediaspace to watch this video

Introduction to Programming: First Steps Log in to Mediaspace to watch this video

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

Page 1 of 2