danilafe

Status: Active user
Joined: 3 years ago by invitation from shapr
Karma: 625, averaging 4.11 per story/comment
Stories Submitted: 20, most commonly tagged compilers
Comments Posted: 132
GitHub: https://github.com/DanilaFe
About:

interested in PLT, compilers, formal verification, and much more.

I work at HPE on the Chapel programming language.