Ke Wu

Examining the impact of Miner Extractable Value on decentralized finance and AMMs.

An overview of key mathematical ideas and their practical uses.

A look at types, contexts, and proofs in programming languages.

Discover how non-normal dynamics challenge our view of sudden changes.