Member for 11 years, 10 months
Last seen more than 1 year ago
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.