In 10 minutes (10AM Pacific) I’ll be doing a working-in-public monologue livestream session on formal modeling of protocols, to kick off a summer special interest group (SIG) on the topic. Since I haven’t done properly technical work in nearly 20 years, you can have fun watching me make a bit of a mid-life-crisis fool of myself :)

In 10 minutes (10AM Pacific) I’ll be doing a working-in-public monologue livestream session on formal modeling of protocols, to kick off a summer special interest group (SIG) on the topic. Since I haven’t done properly technical work in nearly 20 years, you can have fun watching me make a bit of a mid-life-crisis fool of myself :)

https://www.youtube.com/watch?v=RVFoRVBvW7E