- Stuttgart
- bjorn-fischer.de
Rob Skillington
robskillington
CTO at Chronosphere and creator of open source M3.
@chronosphereio New York (USA) & Melbourne (Australia)
Valentin Rothberg
vrothberg
Senior Principal Engineer and Product Owner @RedHatOfficial working on Podman and all things (bootable) containers.
@RedHatOfficial
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden