George Kastrinis
Hey! I'm George. I hold a PhD from the University of Athens , Greece, where I worked as a researcher with Prof. Yannis Smaragdakis on our languages group ( PLaST ). On September 2021, I joined the awesome people at relationalAI .
My research interests include Programming Languages and Static Pointer Analysis, using Datalog and the declarative Doop framework.
My latest projects are the paNda library and jFactor . paNda aims to provide a programmable compiler for Datalog, whereas jFactor is a tool for extracting facts from Java Bytecode.
George Kastrinis