Jakob von Raumer
Formal verification researcher at Lindy Labs, which develops Aegis, a Lean 4 tool for verifying Cairo contracts. Jakob von Raumer holds a PhD in type theory on higher inductive types and co-authored the Homotopy Type Theory library for the Lean theorem prover.