
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: I am currently on the market for a job. Here’s my resume.
You can find me on twttr, linkedin, github or send me an email (first last at gmail dot com).
