Researcher and engineer in programming language semantics, type systems, module systems, functional programming, compilers, virtual machines
Working for Dfinity; previously at Google on V8 team; previously at Max Planck Institute for Software Systems in Foundations of Programming group.
Co-designer of and spec author for WebAssembly, member of Wasm WG; previously member of the EcmaScript committee.
Member for 7 years, 6 months
100 profile views
Last seen Jun 18 at 22:32