I am Fotis Koutoulakis, a Computer Scientist mostly interested in Programming Languages, both theory and implementation. I'm also interested in program verification and trustworthy systems.