Introduction

This is my research and technology blog. I'll add stuff that I've found interesting in my research area (which is supposed to be programming languages, program analysis and verification). I'll be happy to receive you comments and criticisms.
In case you are wondering about the name, read this.