Alex Klinkhamer

grencez.dev

@google Mountain View, CA Ask me anything about the computational complexities of synthesizing and verifying self-stabilizing protocols. Or whatever.