Software engineer at Google. Has done stuff with FPGAs, functional programming and formal verification in a past life.

Decks

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade