Hiroki Kobayashi
koba-e964
https://atcoder.jp/users/kobae964
Languages: native Japanese, professional working English, elementary Swedish
Jared Roesch
jroesch
CTO @ OctoML, PMC @ Apache TVM, PhD @ UW. Previously Rustc, Lean & F* hacker.
NVIDIA Seattle, Washington
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
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
Imandra (@imandra-ai) washington DC
Michael Färber
01mf02
PhD in computer science (logic & automated reasoning). Software should be beautiful and efficient, like a Samurai sword.
Innsbruck
Stefan Hetzl
shetzl
Associate Professor, Institute of Discrete Mathematics and Geometry
Vienna University of Technology