Burak Köroğlu
PHD Researcher at CISPA Helmholtz Center for Information Security
Saarbrücken, Saarland, Germany
Summary
👤
Senior🎓
Top SchoolBurak Köroğlu is a PhD researcher at CISPA with eight years of experience at the intersection of computer engineering, physics, and cyber-physical systems. He combines a dual bachelor’s background in Computer Engineering and Physics from Middle East Technical University with hands-on research at Purdue and multiple internships, producing tools like a timed automata parser for Uppaal and work on timed specification generation. His industry experience includes embedded software development for avionics, giving him practical systems-level insight alongside formal methods expertise. Based in Saarbrücken, he blends rigorous academic research with applied engineering, often translating theoretical models into working prototypes for verification and real-time systems. An under-the-radar strength is his cross-domain fluency—able to bridge low-level embedded constraints and high-level formal specifications to tackle safety-critical challenges.
8 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 Saarland UniversityBachelor's degree, Computer Engineering, Bachelor's degree, Computer Engineering at Orta Doğu Teknik Üniversitesi / Middle East Technical University
Turkish, English, Chinese
Stackoverflow
1reputation
0reached
0answers
0questions
Programming languages (1)
Github contributions (5)
bbkrgl/brksh
Mar 2022 - Mar 2022
Contributions:20 commits, 19 pushes, 1 branch in 1 day
bbkrgl/nvim
Jan 2025 - Apr 2026
Contributions:5 pushes in 1 year 3 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.