Blog Posts

Dec 29, 2021 Solving Myst Puzzles with Z3:
How I Got Nerd-Sniped Playing VR Myst over Christmas
July 7, 2019 Teaching Networking Experientally:
How to teach 40 high school students to program networks in 3 days
June 22, 2019 Theoretically Feasible, Practically Exceptional:
Reflections on the NPI Workshop on the Foundations of Routing