Researcher and engineer in programming language semantics, type systems, module systems, functional programming, compilers, virtual machines

Previously at Max Planck Institute for Software Systems in Foundations of Programming group; at Google on V8 team; at Dfinity as Principal Researcher in Language team.

Co-designer of and spec author for WebAssembly, member of Wasm WG; previously member of the EcmaScript committee.