Lectures
HSE #1: Hardcore Software Engineering
497 views
Hardcore Software Engineering with Joseph Kiniry.
Podcast about Verification-centric Software Development
in Java with BON, JML, and ESC/Java2.
RELATED VIDEOS
Lectures
HSE #3: Effectively Using Formal Methods
Hardcore Software Engineering Joseph Kiniry...
Lectures
HSE #2: Example Projects
Hardcore Software Engineering Joseph Kiniry...
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
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