About Me

My name is George Kastrinis, I live in Greece and I am a Ph.D. student in Program Analysis at the Department of Informatics of University of Athens. My advisor is Prof. Yannis Smaragdakis. I am interested in Programming Languages, Compiler Construction and Software Engineering, although many more areas intrigue me. Currently, I am working on Points-To Analysis (a fundamental kind of Static Program Analysis) using the Doop framework which is completely declarative (written in Datalog). You can find my recent publications here. You can find out about past and upcoming talks here.

During my free time (not much as of late), I highly enjoy Web Development; front-end as well as back-end. You can see some of my work here. I might also experiment a bit in Photoshop. You can see some of my work here.

I am a member of the Free Open Source and Software (FOSS) community of my University.

You can email me at george.kast´╝ágmail.com (don't copy/paste the email, as it won't work).

my CV

on twitter

on bitbucket

on github