Compiler Engineer @ Metastate

Research Interests

• algebraic effects and handlers;
• algebra-driven automatic parallelism;
• usability of theorem provers;
• visual PL semantics (eg hypernets).