Kadiray Karakaya

Applied Scientist at Amazon Web Services (AWS)

London, England, United Kingdom
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Kadiray Karakaya is a research-focused software engineer and PhD candidate in program analysis with 11 years of industry and academic experience, currently a Research Assistant at Heinz Nixdorf Institut. He leads SootUp on GitHub, blending deep static-analysis research with practical tooling that bridges academia and real-world codebases. His background includes production engineering and analytics roles at Turkish Airlines and a stint as an Applied Scientist at AWS, giving him a strong track record of moving research into applied systems. Based in Paderborn, Germany, he combines rigorous PhD training with hands-on software delivery across both enterprise and research environments. Notably, his profile reflects a rare mix of long-term industrial experience alongside ongoing contributions to program-analysis tooling.
code11 years of coding experience
job10 years of employment as a software developer
bookDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Paderborn University
bookExchange Student Computer Science, Exchange Student Computer Science at Technische Universität Chemnitz
bookBachelor of Science - BS Computer Engineering, Bachelor of Science - BS Computer Engineering at Yıldız Teknik Üniversitesi
languagesTurkish, English, German
github-logo-circle

Github Skills (32)

static-code-analysis10
static-analysis10
architecture10
abstract-interpretation10
soot10
java10
source-code-analysis10
android10
bytecode10
callgraph10
optimization10
program-analysis10
feature-extraction8
pddl7
java-libraries7

Programming languages (7)

JavaXtendC++CSSSCSSPDDLPython

Github contributions (5)

github-logo-circle
A Static Code Feature Extraction Tool for Java and Android
Contributions:24 commits, 7 pushes in 7 months
androidfeature-extractionjava
kadirayk/PROSECO

Apr 2019 - Jul 2019

PRototype based SErvice COmposition Framework
Contributions:148 pushes, 1 branch in 2 months
compositionservice-basedprototypescalabilitysaga-pattern
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.
Request Free Trial