Tannr Allard

Software Developer at Spacemesh

Lead Developer | Formal Verification Engineer

Category

Blockchain
Crypto
Web 3.0

Channel

Why you should listen

Formal verification with Athena | Building symbolic execution tools in Rust | Crafting a constraint based programming language for blockchain | Lead Dev for Programmability team at Spacemesh

Featured videos

This page was generated based on publicly available information.
Are you
Tannr Allard
? Please edit your information
here
Blockchain
Crypto
Web 3.0