Video for “Hacking Nondeterminism with Induction and Coinduction”
5-minute presentation/video for Association for Computing Machinery.
Videojournalism about a new method for comparing the processes called "finite-state machines" that underlie much of computer science....