Hi! I'm George. I'm a Ph.D. student at the University of Athens, Greece. My focus is on programming languages and static analyses. I work with professor Yannis Smaragdakis mainly on Pointer Analysis using Datalog and the declarative Doop framework.
My latest project is the DeepDoop library. The aim is to provide a programmable transpiler for Datalog.
HackMe Game / Challenge
George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis SmaragdakisFeb 2018
Yannis Smaragdakis, George Kastrinis, George BalatsourasJun 2014
George Kastrinis, Yannis SmaragdakisMar 2013
George KastrinisJul 2012
Nikolaos Pothitos, George Kastrinis, Panagiotis StamatopoulosMay 2012
PHP - PHP, MySQLDec 2011
George KastrinisNov 2011
CSS - PHP, MySQLDec 2009