Lectures
HSE #3: Effectively Using Formal Methods
460 views
Joseph Kiniry talks about Background, BON, and Analysis - "Effectively Using Formal Methods"
RELATED VIDEOS
Lectures
HSE #2: Example Projects
Hardcore Software Engineering Joseph Kiniry...
Lectures
HSE #1: Hardcore Software Engineering
Hardcore Software Engineering with Joseph...
Lectures
HSE #21: Using Verification Effectively
Hardcore Software Engineering Joseph Kiniry...
Lectures
HSE #20: Model Checking
Hardcore Software Engineering Joseph Kiniry...
CAST IT
Cast IT
Olle Häggström: Science, Technology, and the Future of...
Olle Häggström is a Professor of mathematical statistics at Chalmers University of Gothenburg,...
Cast IT
Rebecca Slayton: Cybersecurity, Star Wars, and Software...
Rebecca Slayton is a professor at the Department of Science and Technology Studies and Judith...
Cast IT
Carsten Schürmann: Digital Democracy and Electronic...
Carsten Schürmann is the leader of the Demtech research center, which studies the interplay...
Cast IT
Vincent F. Hendricks: Attention economics and truth in...
We ask Vincent F. Hendricks, professor of formal philosophy at Copenhagen University and the...
Cast IT
Toby Walsh: Kidneys, Cars, and Killer Robots
Toby Walsh is a leading researcher in artificial intelligence and a prolific populariser of...
Cast IT
Troels Bjerre Lund: Poker-Playing Bots
In early 2017, two independent research teams announced progress in artificial intelligence:...
Comment with Facebook