Video for “Hacking Nondeterminism with Induction and Coinduction”

— I , , and this 5-minute / for . —

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.