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.

Colleagues: 

  • Sound editor
  • Video editor
  • Videographer
  • Journalist