Lectures
HSE #12: Code Standards and Metrics
127 views
Hardcore Software Engineering
Joseph Kiniry talks about Static Analysis: "Code Standards and Metrics"
Joseph Kiniry talks about Static Analysis: "Code Standards and Metrics"
RELATED VIDEOS
Lectures
HSE #21: Using Verification Effectively
Hardcore Software Engineering Joseph Kiniry...
Lectures
HSE #20: Model Checking
Hardcore Software Engineering Joseph Kiniry...
Lectures
HSE #19: Details of a Verification Tool
Hardcore Software Engineering Joseph Kiniry...
Lectures
HSE #18: Kinds of Verification
Hardcore Software Engineering Joseph Kiniry...
CAST IT
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