Skip to main content
Video/Journalism for Science and Technology
Tom Geller Productions
Hacking Nondeterminism with Induction and Coinduction
Videojournalism about a new method to compare the processes called "finite-state machines" that underlie much of computer science.
Association for Computing Machinery (ACM)
Link to the video on Vimeo
Article promoting the video on ACM site