walkie
305
reputation
2
7
Compiler engineer with research expertise in programming languages, functional programming, domain-specific languages, type systems, and software variation. Also interested in game theory and linguistics.