Lena Schnedlitz
LenaSchnedlitz
Software engineer · Interested in logic, UX and medicine ·
I love coffee, math puzzles and origami.
Vienna, Austria
Michael Kohlhase
kohlhase
Professor of Computer Science at FAU Erlangen-Nürnberg. The @KWARC group works (on systems for) the representation and management of mathematical knowledge
Computer Science, FAU Erlangen Nürnberg Erlangen, Germany
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust.
Imandra (@imandra-ai) washington DC