George Kastrinis
Computer Scientist at RelationalAI
Athens, Attica, Greece
Summary
👤
Senior🎓
Top SchoolGeorge Kastrinis is a computer scientist and software engineer with 14 years of experience, currently advancing languages, compilers, logic programming, and program analysis at RelationalAI. He holds a PhD in Programming Languages (static analysis) from the University of Athens, where he worked with Yannis Smaragdakis, and brings deep practical expertise in Java, Groovy, C/C++, and Datalog. His career blends research and engineering—previous internships at Microsoft Research and LogicBlox resulted in tooling for surveys and a Clang-based C++ analysis framework, respectively. Known for translating formal program-analysis ideas into working systems, he contributes to both compiler and logic-programming toolchains. Based in Athens, he combines academic rigor with hands-on software delivery across industrial and research codebases.
14 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at National & Kapodistrian University of Athens
English, Greek, French
Stackoverflow
5,044reputation
1.7mreached
80answers
30questions
Github Skills (58)
kotlin10
datalog10
groovy10
java10
bitbucket10
translator10
rust10
gradle10
testing9
horn9
python9
logic-programming9
spock-framework9
specification9
automation9
Programming languages (9)
Github contributions (5)
gkastrinis/road-to-0K
Oct 2017 - Jan 2022
Contributions:13 pushes, 1 branch in 4 years 3 months
gkastrinis/bamboo
Mar 2018 - Jan 2022
Contributions:24 pushes, 1 branch in 3 years 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.