Research and development for the Dymension rollup blockchain platform.

Writing greenfield 1k+ request per second services for dynamic app configuration, A/B experimentation, one-time-password, websockets, facial recognition, contact book blocking, KYC, refer-a-friend. Strangler figging existing login and signup flows.Building out a modern service based backend in Go. All AWS cloud native and cost effective. Terraform for IaC, Grafana for monitoring and alarms.Submitting RFCs and ADRs, code review, design sessions. Making all product decisions based on A/B experimentation data.Tech: Go, various AWS services, MariaDB, DynamoDB, Terraform.

Developed Interchain Security (Replicated Security) product for Cosmos Hub blockchain. Used rigorous code quality standards, and corresponding formal correctness techniques due to $10+ billion of assets at risk.Developed in-house tools for model based testing and model checking using TLA+. Consulted for, and audited Agoric blockchain by creating and model checking TLA+ models of protocols.Participated in design and design review for distributed protocols, internal formal logic tools. Gave internal talks and workshops. Gave public tech talk.Tech: Go, Cosmos SDK, TLA+, Python, Typescript, Rust.