Video for “Hacking Nondeterminism with Induction and Coinduction”

Screenshot of the Vimeo version of the video: See description for the full video

Videojournalism about a new method for comparing the processes called “finite-state machines” that underlie much of computer science.

Jan, 2015
Association for Computing Machinery
Presentation, Video
5 minutes