Amélia Liao

@ame.fyi

Compiler engineer moonlighting as a type theorist. Member of the Agda team.