Jon Manning is the cofounder of independent game development studio Secret Lab. He's working on the critically acclaimed award-winning adventure game Night in the Woods, which includes his interactive dialogue system Yarn Spinner. He's written a whole bunch of books for O'Reilly about iOS development and game development. Jon holds a PhD about jerks on the internet.
- Let’s Use An Automated Theorem Prover To Verify Video Games; I Swear This Is More Fun Than It Sounds – Monday 1:30 p.m.–2:15 p.m. in Rusty R. Hall