Rikard Hjort

2 talks by Rikard Hjort

  • Formal Methods for the Working DeFi Dev by Rikard Hjort | Devcon Bogotá
  • KWasm: Executable (E)Wasm Semantics for Verification and Profit by Rikard Hjort (Devcon5)