Alex Klinkhamer
grencez
Ask me anything about the computational complexities of synthesizing and verifying self-stabilizing protocols. Or whatever.
@google Mountain View, CA
Diego Ferigo
diegoferigo
Applied Scientist | Roboticist @bdaiinstitute.
RAI account: @diegoferigo-rai.
Robotics and AI Institute Zürich (Switzerland)
Andrzej Warzyński
banach-space
Compiler engineer. Mathematician in previous life.
@_banach_space
@Arm-Software Scotland
Duncan McBain
DuncanMcBain
Software Engineer at Codeplay. Sometimes personal projects also appear.
@codeplaysoftware Edinburgh, Scotland