NlightNFotis

9,559
reputation
5
43
66

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.