Iavor S. Diatchki

I am a research and development engineer at Galois Inc. My academic interests lie in the area of programming-language design and implementation, functional programming, and type systems.

Links