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: formal methods, human factors, and reliable systems.

Update [09/26]: I will begin at Playstation as a Software Engineer this August Offer rescinded, I am back on the job market again resume.

You can find me on twttr, linkedin, github or send me an email (first last at gmail dot com).