I'm a hobbyist software developer currently based in Athens, Greece.

My focus is on programming language design and compiler construction. This means that my interests include exploring the possibilities of type systems, static verification, virtual machines, and other relevant subjects. Currently I happen to do all my research on my own.

I enjoy passing on whatever knowledge and experience I have obtained, especially if I have made considerable effort to find it and understand it myself. To that end, I have written some well-received answers on Stack Overflow. I also have a blog on software development, where I post writings that aren't answers to a specific question.

Lastly, I'm managing a small hotel business in Symi, Greece and studying Electrical and Computer Engineering at the University of Patras, Greece.