Wolfgang Grieskamp
Head of the Move platform team at Aptos Labs, covering the Move language, compiler, virtual machine, developer tooling and formal verification. Grieskamp previously helped develop the Move Prover on the Diem team at Meta, and earlier worked on cloud computing and AI projects at Google and on specification languages at Microsoft Research.