Daniel Tisdall

Senior Blockchain Software Engineer

Dymension (Blockchain L1 rollup launchpad, open source) · March 2024 - Present · Spain

Feature and team lead for security-sensitive features on a rollup launchpad and DeFi platform. Built a trust-minimized bridge to Kaspa, integrated Hyperlane bridge tech, extended IBC with rollback/hard-fork functionality, and designed a TEE-based fast-finalization scheme.

Go, Rust, Cosmos SDK, Hyperlane, IBC, Solidity, Solana, TypeScript, GCP

Backend Software Engineer

Muzz (Social mobile app scaleup (YC), 13M global users) · Jan 2023 - March 2024 · UK

Backend authority for user acquisition flows. Built SMS/WhatsApp OTP, facial recognition banning, refer-a-friend, liveness checks, WebSocket notifications, and A/B testing infrastructure.

Go, AWS (ECS, Lambda, DynamoDB, SQS), Terraform, Redis, gRPC, Prometheus, Grafana

Research Software Engineer

Informal Systems (Blockchain R&D and consulting, open source) · July 2021 - Jan 2023 · UK

Contributed to Replicated Security for the Cosmos Hub, including validator key rotation and random seed testing via an ABCI/IBC simulator. Applied formal methods with TLA+ and model checkers. Spoke at TLA+ Conf 2021 and HackAtom 2022.

Go, Cosmos SDK, Tendermint, TLA+, TypeScript, Python, Rust

MSc Computer Science

Università della Svizzera Italiana · 2019 - 2021 · Switzerland

94.7% - summa cum laude, merit scholarship recipient

BSc Mathematics

Rijksuniversiteit Groningen (+ Erasmus at TU München) · 2016 - 2019 · Netherlands

78%