Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Functional Programming

Dad, husband, Swift language designer and Swift/C++/ObjC compiler implementor, Author, Generic Programming aficionado. He/him.

Distinguished engineer @ Woven by Toyota — C++ standards committee language evolution chair—WebAssembly co-instigator