Burak Yalçinkaya
Research Engineer at Runtime Verification Inc
Türkiye, Turkey
Summary
👤
Senior🎓
Top SchoolBurak Yalçinkaya is a research engineer based in Istanbul with 10 years of software engineering experience spanning research, backend systems, and high-performance networking. He currently works at Runtime Verification Inc, applying rigorous engineering and verification techniques to bridge research and production-grade systems. His background includes building NGINX modules in C and Go for a CDN and developing Node.js solutions for industrial IoT and Industry 4.0, reflecting comfort across low-level and web-scale stacks. He holds a master's in computer science from Chalmers and a strong undergraduate record from İstanbul Teknik Üniversitesi, signaling both academic depth and practical skill. Colleagues describe him as someone who moves smoothly between experimental research code and hardened engineering deliverables. An understated strength is his cross-domain fluency—able to optimize C-level performance hotspots while architecting maintainable cloud-connected services.
10 years of coding experience
1 year of employment as a software developer
High School Diploma, Math and Science, High School Diploma, Math and Science at İstanbul Atatürk Fen LisesiComputer Engineering, 3.47/4, Computer Engineering, 3.47/4 at İstanbul Teknik ÜniversitesiMaster of Science - MS, Computer Science, Master of Science - MS, Computer Science at Chalmers tekniska högskola
Turkish, İngilizce
Github Skills (70)
tlaplus10
dataflow-programming10
eda9
webassembly8
js8
gleam8
abstract-syntax-tree8
formal-semantics8
recipe8
cocktail8
bnf8
macros8
java8
algorithm8
pretty-print8
Programming languages (12)
Github contributions (5)
DDoJS-Attack/gotur-backend
Feb 2018 - Feb 2018
Contributions:40 commits, 17 PRs, 30 pushes in 2 days
apiexpressjsnode-jsexpressbackend
bbyalcinkaya/putio-haskell
Jan 2022 - Apr 2024
Haskell API client for Put.io cloud storage service
Contributions:1 review, 2 PRs, 2 pushes in 2 years 2 months
cloud-storagehaskell
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.