YoVDO

My Plan B: Exploring Alternative Strategies in Computer Science Research

Offered By: Imperial College London via YouTube

Tags

Computer Science Courses Programming Languages Courses Software Testing Courses Parallel Computing Courses Compiler Design Courses Formal Verification Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore Professor Alastair Donaldson's Imperial Inaugural lecture from the Department of Computing at Imperial College London. Delve into the intriguing topic of "My Plan B" as the esteemed professor shares insights and expertise in this 58-minute presentation. Gain valuable knowledge and perspectives from a leading academic in the field of computing.

Syllabus

My Plan B


Taught by

Imperial College London

Related Courses

SPARK 2014
AdaCore via Independent Automated Reasoning: Symbolic Model Checking
EIT Digital via Coursera Software Testing and Verification
University System of Maryland via edX Haskell for Imperative Programmers
YouTube Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Association for Computing Machinery (ACM) via YouTube