Why this site?
This is a personal digital garden, kept in the open, for three reasons:
- To share: whatever I build or learn that can be public.
- To connect: with people anywhere who care about the same things.
- To provide a shared context: for any agent, mine or yours, through this site and its repository, so collaboration starts from the same page.
Who is behind it?
An engineer by trade and a physicist by training. I work on formal methods for network hardware at Google and serve on the P4 Technical Steering Team. For the professional record, see the CV.