Hello,

my name is Lefteris Kritikos and this is my corner of the net. Disturb the Game of Life to find more about me.

I was born in Athens on the 29th of May, 1983. Both of my parents come from Kefalonia, an island in the Ionian sea. Nowadays I live in Artemis a east near-sea suburb of Athens.

I had the fortune of studying in one of the best universities in Greece. In 2012, I graduated from the National Technical University of Athens with a master in Electrical and Computer Engineering, focusing on software engineering for my major.

My academic and professional interests include programming languages, domain specific languages, software design and software verification. For my diploma thesis I extended Chalice, a programming language used for verification and specification of concurrent programs, to include Backpointers, a new approach to specifying class invariants with non-local references. I have also worked on a wide range of projects, most of them in the greek Institute of Communications & Computer Systems and the university's Free/open source society. In my free time you will find me brainstorming on some programming language feature or designing and implementing some middle-ware infrastructure.

I <3 Vim, Java, Scala, Haskell, Domain Specific Languages, GNU/Linux, FOSS.ntua