Ke Wu

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.