GeorgeKastrinis

My name is George Kastrinis. I am a Ph.D. candidate at the University of Athens, Greece (Dept. of Informatics and Telecommunications), in the area of programming languages and static analysis. My advisor is Prof. Yannis Smaragdakis. Nowadays, my work focuses on Pointer Analysis using Datalog and the declarative Doop framework.

You can email me at george.kast@gmail.com (don't copy/paste, it won't work).

pdf
my CV

bitbucket
on bitbucket

github
on github

twitter
on twitter

summer '13
summer '14

Publications

Talks

Coding Thoughts