Hi, I am Dibri.

I study programming languages, in theory and practice.

This is where you’ll find most of the things I do and the tiny logs I write.

Interests: type systems, reliable software, security and privacy, human factors.

Update: I put together a poster for my work on Chasing Mypy Anys.

You can find me on twttr, linkedin, github or send me an email.